Dan 030fbcae65 Merge remote-tracking branch 'origin/develop' into develop		2019-08-15 16:03:23 +02:00
..
source	Merge remote-tracking branch 'origin/develop' into develop	2019-08-15 16:03:23 +02:00
make.bat	Add documentation source files	2017-12-30 19:47:18 +01:00
Makefile	Restore original Makefile	2018-09-05 16:41:46 +02:00
releases.py	Small documentation fixes	2019-06-20 03:39:12 +02:00
robots.txt	Update robots.txt	2019-07-01 14:29:02 +02:00
sitemap.py	Update sitemap.py	2019-06-07 16:24:18 +02:00