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)
commit62420e5df35e5585eff630ae10d5c72f4932dbe4
tree783894bdaff173f2b777492350909b303180428d
parentcf2690f10d9652f105cfb1d775dc5c930a972f73
Patch needed for Gentoo
tools/config.lisp