| commit | dd19cf81348efb02b05dcae18a54bd28bfc4944a | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 06 22:36:17 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 06 22:36:17 2001 +0000 |
| tree | 23537eda4151542d10d455e47cd8d45fa1ef5f48 | |
| parent | 38419c003c7f162d937320d01edce0c97ef502c3 [diff] |
Silly mistake in build directory extension fix.