| commit | 3ff82a3a4c4e73aca8254228c751d66a530ba362 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 14 17:06:32 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 14 17:06:32 2001 +0000 |
| tree | b18c624f4c828deffb48938d9f9f8a5dccabd8b8 | |
| parent | 3112bc10eeab3ff9af01a97d60cb4a5a3b531f41 [diff] |
The new touched() was far too expensive. Re-enabled the old one, the ae-based one is available as touched_ae(). Have to read up on the subject of telling the finder about changes.