comparison configure @ 8052:bab84c42ee57

not needed
author pontscho
date Sat, 02 Nov 2002 18:18:24 +0000
parents c34100c609ee
children b3b2951cbc1c
comparison
equal deleted inserted replaced
8051:1b0d3175ef5f 8052:bab84c42ee57