diff src/s/usg5-0.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 1f134b61867c
children
line wrap: on
line diff