diff config.bat @ 15058:767429c4d3d2

[motif]: Make f10 undefined.
author Richard M. Stallman <rms@gnu.org>
date Sun, 21 Apr 1996 05:54:18 +0000
parents 6f4dd53a62d4
children 80562f089595
line wrap: on
line diff