Wolfram Schneider 8391168b27 switch to HTTPS		2017-09-29 10:56:46 +00:00
..
article.xml	switch to HTTPS	2017-09-29 10:56:46 +00:00
Makefile	- Rename .sgml files to .xml	2012-10-01 09:53:01 +00:00