diff lib-src/getopt1.c @ 18332:ee997de5b74b

Rearrange custom options. Also enable custom control of Global Font Lock mode.
author Simon Marshall <simon@gnu.org>
date Thu, 19 Jun 1997 08:49:04 +0000
parents 2ef01cc793bf
children 4c72cf4eeedb
line wrap: on
line diff