diff src/COPYING @ 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 d92149473c34
children 6aa0743375c1
line wrap: on
line diff