comparison oldXMenu/Destroy.c @ 41933:de85e1496e78

(ediff-cmp-options): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Tue, 11 Dec 2001 06:04:14 +0000
parents bbce331da1be
children 23a1cea22d13
comparison
equal deleted inserted replaced
41932:59739c538815 41933:de85e1496e78