| commit | 3638935bcd5d930b74910fef2d516b9e5b8617d4 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 07 13:19:16 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 07 13:19:16 1996 +0000 |
| tree | 639050768509f68e2e97c7ec93a37af16d68eba2 | |
| parent | 4c1e56c742310061c4fd8c1b16366aa2e8359ca6 [diff] |
Moved build.html to building.html