Wolfram Schneider a640b26d49 switch to HTTPS		2017-09-29 10:56:06 +00:00
..
articles	switch to HTTPS	2017-09-29 10:56:06 +00:00
books	switch to HTTPS	2017-09-29 10:54:21 +00:00
captions
flyer
htdocs	the "install" target should not depend on "all"	2017-09-29 08:51:42 +00:00
share/xml	Add the teaching mailing list.	2017-09-24 11:23:52 +00:00
slides
Makefile
Makefile.inc