| commit | 0890857adfa51f504e00c25869c08d1df19568fd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 07 17:06:12 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Sep 07 17:06:12 1996 +0000 |
| tree | 4715e901a2bed809865247381786b0a25760816a | |
| parent | 10496eb5719d2f33ae92396431e0da0a6806d68d [diff] |
Removed faulty gusi resource