| commit | 6a066805e0da177d62a6396c95371a66ace7c216 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed May 03 08:41:56 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed May 03 08:41:56 2000 +0000 |
| tree | 371a60d187d5db860d61936604eb27801c170ea8 | |
| parent | 19dde103a80525ea02565a4d218708ee028dd2dd [diff] |
Removed, the core-python getmtime works fine with GUSI2.