chiark / gitweb /
Bug fix
authorespen <espen>
Wed, 8 Oct 2008 18:26:49 +0000 (18:26 +0000)
committerespen <espen>
Wed, 8 Oct 2008 18:26:49 +0000 (18:26 +0000)
commiteb78a7661b31cf9e1a4ba1acd317c5cbd1cd84b3
tree93ade127aa9034ab0adfa954d06fd6f8cac237e0
parentc553176457e122f00b197a13ef7f4ff3e59941e4
Bug fix
tools/config.lisp