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