diff src/user-prefs.h @ 46:80ea39e3c917

[project @ 1993-08-10 22:58:17 by jwe]
author jwe
date Tue, 10 Aug 1993 22:58:49 +0000
parents 78fd87e624cb
children 7a647cf4850c
line wrap: on
line diff