| commit | 827cc19be18f90d3168b1595e7a9654c24393cea | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 19 16:13:04 1993 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Jul 19 16:13:04 1993 +0000 |
| tree | 86cbdb67316289de32eefa9bb4fa733c297e39cb | |
| parent | ed18fdc9fcd4a0c5d592ed4ee04a8337b60d8752 [diff] |
Interface to vcr index files (as created by vcrindex program)