Wolfram Schneider 57b42e6970 switch to HTTPS		2017-09-29 10:55:55 +00:00
..
article.xml	switch to HTTPS	2017-09-29 10:55:55 +00:00
Makefile	- Rename .sgml files to .xml	2012-10-01 09:53:01 +00:00