Code

add info in output of configure
authorniki <niki>
Wed, 14 Dec 2005 18:35:12 +0000 (18:35 +0000)
committerniki <niki>
Wed, 14 Dec 2005 18:35:12 +0000 (18:35 +0000)
commit017fb839447cd9fb4b11a00245207fe76f32dbbe
treeb2a932988a7a9b3e5f8964ce5883d34c46d3c09c
parent3450e7c18b379e2cefb33ee7a6bdca41a1cf17e5
add info in output of configure
configure.in