comparison configure @ 3221:2b36eede0b5b

pts support
author alex
date Fri, 30 Nov 2001 17:11:30 +0000
parents 20dbdbce507d
children 61e1520db8cb
comparison
equal deleted inserted replaced
3220:b35b40ade7e9 3221:2b36eede0b5b