Remove our local copy so we can use the standard version.
authorPaul Smith <psmith@gnu.org>
Wed, 24 Apr 2002 21:52:21 +0000 (21:52 +0000)
committerPaul Smith <psmith@gnu.org>
Wed, 24 Apr 2002 21:52:21 +0000 (21:52 +0000)
commit5dedf7be638113e65df4bab535386db212a0e812
treef6f746cfca188bdb52c2f216750105f937e302c0
parent2276c37ae7557b6862d73b763625d599ba420fac
Remove our local copy so we can use the standard version.
texinfo.tex [deleted file]