Wolfram Schneider d60ddcd87b switch to HTTPS		2017-09-29 10:58:18 +00:00
..
article.xml	switch to HTTPS	2017-09-29 10:58:18 +00:00
Makefile	- Rename .sgml files to .xml	2012-10-01 09:53:01 +00:00