4 Commits

Author	SHA1	Message	Date
jonpas	9e37dc1192	Fix make.py wiki lists	2016-11-01 13:50:00 +01:00
jonpas	ffd1f0aff2	Update make.py to 0.8 (#4579) ... * Update make.py to 0.8 * Remove redundant extras folder obsolete handling * Fix version updating in files when version changes number of digits * Satisfy bux	2016-10-25 20:11:05 +02:00
jonpas	08d2bf706b	Add DeRap to required Mikero's Tools	2016-08-27 18:04:50 +02:00
bux578	accd408418	merge gh-pages content into docs folder ... https://github.com/blog/2228-simpler-github-pages-publishing	2016-08-18 18:37:38 +02:00