diff options
| author | Pavel Machek <pavel@ucw.cz> | 1999-11-25 13:38:25 +0000 |
|---|---|---|
| committer | Pavel Machek <pavel@ucw.cz> | 1999-11-25 13:38:25 +0000 |
| commit | 7e61cac325aae2628d668673f60853608e072e66 (patch) | |
| tree | fa17207b56539775953413c1ef6d6eb8dbd62cf9 /tools/Makefile.in | |
| parent | 774f149959030b66faca7a97dfb4d1703a84e0d7 (diff) | |
Triggered updates should now actually work. Fixed metric=16 -> time it
out logic.
Diffstat (limited to 'tools/Makefile.in')
0 files changed, 0 insertions, 0 deletions