comparison configure @ 14234:b085c4d81b4b

small improvements
author diego
date Fri, 24 Dec 2004 11:40:55 +0000
parents 8de3c196a783
children 17dd45302212
comparison
equal deleted inserted replaced
14233:2a87149eefec 14234:b085c4d81b4b