diff configure.in @ 332:3c4bad726e98

Rename file filtering options.
author zas_
date Sat, 12 Apr 2008 09:12:37 +0000
parents 6cb3c072be3f
children b8731e13028b
line wrap: on
line diff