diff nt/configure.bat @ 95070:e7c3af7f57eb

(elide-head-headers-to-hide): Handle GPLv3 format.
author Glenn Morris <rgm@gnu.org>
date Sat, 17 May 2008 20:15:52 +0000
parents 47f6b7fbda54
children fde585d63804
line wrap: on
line diff