Cleaned up set_font_size() in NEDsim. Leaving the inefficient version since we only...
[screensavers] / screenhack / version.h
static const char screensaver_id[] =
"@(#)xscreensaver 5.45 (08-Dec-2020), by Jamie Zawinski (jwz@jwz.org)";