| commit | 0db61d163d4802da056ffb3c441f357b58bcc3ca | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 25 15:41:24 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 25 15:41:24 1998 +0000 |
| tree | 3497cebcb7a8df1649cf19af32a1cc71769b847c | |
| parent | a2139fef94c0f94bb897a62f4e2c53f40eb40cc4 [diff] |
Helper file for version-checking