sevan a8ded70395 Add John von Neumann's date of death		2019-06-30 11:21:40 +00:00
..
calendars	Add John von Neumann's date of death	2019-06-30 11:21:40 +00:00
calendar.1	Remove workaround for ancient HTML generation code.	2017-07-03 21:28:48 +00:00
calendar.c
Makefile
pathnames.h