openclonk

Author	SHA1	Message	Date
Tobias Zwick	f3b77671aa	updated header, en.po	2010-04-08 02:07:50 +02:00
Tobias Zwick	5f1c4ab93d	fixed header	2010-03-16 00:41:10 +01:00
Tobias Zwick	b86637e176	docs: updated docs header	2010-03-15 23:59:39 +01:00
Günther Brammer	a9dfe2ed82	docs: Use static html instead of php The .html file extension is needed for offline docs, and configuring a webserver to execute PHP in .html is as easy as changing the build system to support both. But for a simple common header there's no need to reach for PHP. XSLT can do the job. For ease of maintenance the header is read from an extra file.	2010-02-10 00:55:32 +01:00