comparison configure @ 19173:dbdc58b6e9bb

a tiny bit of cleanup
author michael
date Mon, 24 Jul 2006 10:48:54 +0000
parents d9656bb2ae0e
children 97ea9a6616df
comparison
equal deleted inserted replaced
19172:bae6c99a99cc 19173:dbdc58b6e9bb