Jens Schweikhardt 63be88b9f7 Add Diomidis Spinellis to additional contributors for his high ... quality PRs, chkman script, sed contributions and probably more I have overlooked.		2003-05-08 19:17:29 +00:00
..
article.sgml	Add Diomidis Spinellis to additional contributors for his high	2003-05-08 19:17:29 +00:00
Makefile	Back out WITH_DOCFORMAT_NAVI_LINK?=YES in Makefile. The navi-link	2003-04-22 18:35:44 +00:00