Patch needed for Gentoo
authorespen <espen>
Thu, 13 Nov 2008 21:18:14 +0000 (21:18 +0000)
committerespen <espen>
Thu, 13 Nov 2008 21:18:14 +0000 (21:18 +0000)
commit19b56e9315dc07e533f668c74fe0866ae7dcc702
tree84f0b53b9cfc0effb06d260bf1ff441450983a36
parent3641c13fe260932ef11bc3c5dc915729fd0b6507
Patch needed for Gentoo
tools/config.lisp