diff src/unexmips.c @ 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 a0d1312ede66
children 3bd95f4f2941 2d92f5c9d6ae
line wrap: on
line diff