diff configure @ 26457:9ba6d4487292

Use standard GPL header.
author diego
date Tue, 22 Apr 2008 09:32:30 +0000
parents d549dcb766df
children bb4b6e4a082f
line wrap: on
line diff