7 Commits

Author	SHA1	Message	Date
Moritz Schmidt	4f90d4da80	note required PboProject version (#5256) ... * note required PboProject version * Update setting-up-the-development-environment.md	2017-06-06 19:25:51 -05:00
jonpas	3d1820e3fd	Add PboProject .hpp exclusion note	2016-11-29 20:06:44 +01:00
jonpas	43c2e299c9	Fix make.py checkexternal argument documentation	2016-11-05 20:10:08 +01:00
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