| commit | 87440e44d8d2510374fff84af0f57e9430486024 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 31 09:41:59 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 31 09:41:59 1998 +0000 |
| tree | 985045d22186af3e73e7f9ae0b8fbf7b51bb4348 | |
| parent | 871fad2641dbd1d479b5186fde1f56e7ca6cd470 [diff] |
Extended replacement for scripts:cfmfile.py (Just)