diff etc/ps-prin1.ps @ 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 23a17af379b1
children 0717aeaaa61d f9a65d7ebd29
line wrap: on
line diff