chiark / gitweb /
Misc changes to make it easier to configure the build process
authorespen <espen>
Mon, 12 Nov 2001 22:43:30 +0000 (22:43 +0000)
committerespen <espen>
Mon, 12 Nov 2001 22:43:30 +0000 (22:43 +0000)
commitd67f8348100c77f08d37961cf8e21c1df2a3745b
treeb9717fcd38ad263165935127b6add28a401bab56
parent4539aedf46acf09af752d7c7a36a0de0ae5ca4be
Misc changes to make it easier to configure the build process
clg.system