comparison src/unexmips.c @ 9003:bfe446409b77

User option Man-notify-flag renamed to Man-notify-method.
author Francesco Potortì <pot@gnu.org>
date Thu, 22 Sep 1994 12:10:16 +0000
parents 1edd14fa94ae
children 0c728a1b2bed
comparison
equal deleted inserted replaced
9002:6792b6d7e6c0 9003:bfe446409b77