| commit | 1b99896944acaef036769a9206bf33474e0fa80f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Nov 20 14:14:14 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Nov 20 14:14:14 2002 +0000 |
| tree | 70df5746bf380dda76ff00683c8d2e78a07ff4f5 | |
| parent | d8d7bbe3b98fa56e23d8dd46b269925988e9c382 [diff] |
dded cvsignores.