diff src/user-prefs.cc @ 1817:13c1e0718d68

[project @ 1996-01-29 21:12:36 by jwe]
author jwe
date Mon, 29 Jan 1996 21:12:36 +0000
parents 1881b2a7d1e2
children e62277bf5fe0
line wrap: on
line diff