| commit | c658236d72756f0612caa0c664c5ba9f9c844458 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 26 08:37:28 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Mar 26 08:37:28 2001 +0000 |
| tree | cb943dd7e0a2af0a541766d9e3b6249740725fc4 | |
| parent | ae605341e3eb9e6426db07660ac57675ae86e2b6 [diff] |
Fixed some access paths.