Commit Graph

3 Commits

Author SHA1 Message Date
Adriaan de Groot
762ad54344 Documentation: change http links to GitHub to https 2017-12-20 08:39:09 -05:00
Adriaan de Groot
b5f2f22a78 Documentation: update HACKING 2017-11-06 06:58:05 -05:00
Adriaan de Groot
1859808227 Move development-related scripts, tools, into ci/ 2017-09-05 06:09:51 -04:00