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.