Revert previous change
commit8009a04a1546aa5ca7202ea9731d9ff28b43b184
authorGlenn Morris <rgm@gnu.org>
Mon, 24 Jun 2013 02:38:45 +0000 (23 19:38 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 24 Jun 2013 02:38:45 +0000 (23 19:38 -0700)
tree2eb68e5a93ad6c118c9d3bdaf6dad2bbab481fdc
parenta4c0de97dc360428b9640c512d1368c63ee70be3
Revert previous change
doc/misc/ChangeLog
doc/misc/eudc.texi