diff man/eudc.texi @ 72213:7897e1c15087

(System Interface): Fix menu descriptions of some nodes. (Translating Input): Node deleted.
author Richard M. Stallman <rms@gnu.org>
date Mon, 31 Jul 2006 18:42:37 +0000
parents b7261e09f8e4
children 3d45362f1d38 a8190f7e546e
line wrap: on
line diff