diff make-dist @ 11753:6a7b0b9bb6ac

(menu-bar-tools-menu): Rename key to `compare'.
author Richard M. Stallman <rms@gnu.org>
date Mon, 08 May 1995 15:22:30 +0000
parents e3434c390970
children a4f90f989aaf
line wrap: on
line diff