4 Commits

Author	SHA1	Message	Date
Philip	fc8d961049	[ci] fix link in HACKING.md	2018-05-26 09:49:27 +02:00
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