| commit | c4abd004578c7d9428d6cd6a153900d70e687c06 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 24 16:09:59 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 24 16:09:59 2001 +0000 |
| tree | fe36183835d6e3c384e8bed25ed2906549a48fe6 | |
| parent | 48d11c133af413546968cfb07256902ba02461c6 [diff] |
Got rid of extraneous Modues:TE in the search path.