diff src/w32console.c @ 17944:0714535d0e28

Use defgroup and defcustom.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 May 1997 18:08:23 +0000
parents d1d4d81f9ece
children be4c110cda51
line wrap: on
line diff