comparison configure @ 13213:45f7d0200573

synced with 1.692 + random fixes
author paszczi
date Tue, 31 Aug 2004 09:17:17 +0000
parents d198f255bee9
children 99b14d9c50d5
comparison
equal deleted inserted replaced
13212:5fcf4f31c7ce 13213:45f7d0200573