chiark / gitweb /
merge build system fixes
authorIan Jackson <ian@davenant.greenend.org.uk>
Tue, 28 Aug 2007 17:18:45 +0000 (18:18 +0100)
committerIan Jackson <ian@davenant.greenend.org.uk>
Tue, 28 Aug 2007 17:18:45 +0000 (18:18 +0100)

Trivial merge