comparison configure @ 17301:bbf5438d646a

removed previously forgotten reording options/flags
author nicodvb
date Tue, 03 Jan 2006 22:14:27 +0000
parents 12b7a2f2bdda
children 0bc4869be931
comparison
equal deleted inserted replaced
17300:335ca842bf7e 17301:bbf5438d646a