diff src/unexmips.c @ 38857:0999a3a48e17

(defcustom): Doc fix.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 17 Aug 2001 10:58:17 +0000
parents ee40177f6c68
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff