5 Commits

Author	SHA1	Message	Date
Peter Simons	9e91dbd4aa	Switch homepage URL to Github.	2019-07-10 14:58:41 +02:00
Peter Simons	184701aa8b	doc: fix obsolete font commands	2016-09-10 18:18:37 +02:00
Peter Simons	4cd5d72876	petidomo.tex: cosmetic	2013-02-09 20:19:19 +01:00
Peter Simons	1d2616d1e9	doc/petidomo.tex: fixed trivial typos	2010-02-24 17:34:13 +01:00
Peter Simons	a11f628d97	Converted build to gnulib.	2010-02-24 17:33:58 +01:00