diff src/s/usg5-4-3.h @ 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 695cf19ef79e
children 375f2633d815
line wrap: on
line diff