comparison man/misc.texi @ 67682:7b7fe29be670

(Easy Customization): Add "Browsing Custom" to menu. (Customization Groups): Delete text moved to "Browsing Custom". (Browsing Custom): New node. (Specific Customization): Clarify which commands only work for loaded options.
author Luc Teirlinck <teirllm@auburn.edu>
date Mon, 19 Dec 2005 23:33:53 +0000
parents 0c3c7b55da00
children 1a876a016f0a 7beb78bc1f8e
comparison
equal deleted inserted replaced
67681:3a8785724cca 67682:7b7fe29be670