diff man/new-users-guide/xmenu.texi @ 2:ac2d302a0011 r19-15b2

Import from CVS: tag r19-15b2
author cvs
date Mon, 13 Aug 2007 08:46:35 +0200
parents 376386a54a3c
children c9fe270a4101
line wrap: on
line diff
--- a/man/new-users-guide/xmenu.texi	Mon Aug 13 08:45:53 2007 +0200
+++ b/man/new-users-guide/xmenu.texi	Mon Aug 13 08:46:35 2007 +0200
@@ -136,7 +136,7 @@
 which provides commands for editing, help and other
 options. All these options are also available via key commands, the
 menus just provide convenient short-cuts. The key commands are displayed
-right besides some of the the options. The following is a brief
+right besides some of the options. The following is a brief
 description of the four default menus on the menu bar:
 
 @menu