* doc/misc/texinfo.tex: Revert unwanted copyright change.
commit861022ff5f7b8d6ab53c726e009208eadf4ecd41
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 3 Jan 2016 22:47:05 +0000 (3 14:47 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 3 Jan 2016 23:04:07 +0000 (3 15:04 -0800)
tree1a0300176c02971ccad2f2a070f3255647ca55fe
parent46e47a5c57365398a7e9ae085ffcc044a080078e
* doc/misc/texinfo.tex: Revert unwanted copyright change.
doc/misc/texinfo.tex