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