Renamed from patch-header.c.
authorRichard Stallman <rms@gnu.org>
Fri, 22 Oct 1993 21:48:08 +0000 (21:48 +0000)
committerRichard Stallman <rms@gnu.org>
Fri, 22 Oct 1993 21:48:08 +0000 (21:48 +0000)
commite7f9bcdc2f180eb28b8dec373ccd530ac3bc4343
treee1f34618638e47d3a3f389fb50845662cb7363c2
parent70b7f9b0cf10fedec67ae330c85a91a14d07a2e3
Renamed from patch-header.c.

(progname): Change name.

From-SVN: r5869
gcc/fix-header.c