| commit | 0585d41198047d8961b5d774efe3c7d9eea62e86 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Sep 20 15:26:20 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Sep 20 15:26:20 1996 +0000 |
| tree | 7c244efc3f670c9c9e41960cb289493c8c004a32 | |
| parent | 924ca855da687484ba8ac1a81913777b5204797f [diff] |
Convenience routines: wrappers around some of the scriptable finder functionality.