| commit | c4b217dd1855db4c6ec192de847d22819d516e28 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 10 13:38:44 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 10 13:38:44 2003 +0000 |
| tree | 120c434ed539679e5467094c9c0dee6206f91f8d | |
| parent | 1918f7755e03900224c5a53cca9fc0088c3186d3 [diff] |
Use MD5 checksums to check archive integrity and forestall downloads.