forgot to change comment...
authorniki <niki>
Wed, 14 Dec 2005 13:50:52 +0000 (13:50 +0000)
committerniki <niki>
Wed, 14 Dec 2005 13:50:52 +0000 (13:50 +0000)
commit9ce70403d1dfd0f53952373fdcddc72f589dbd97
tree94287fba63c7fcc490c03debbe68feb7601a405d
parent701beaaad4abf3678269d093cb45a443f62b7f11
forgot to change comment...
configure.in