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