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)