4 Commits

Author	SHA1	Message	Date
Daniel Rudolf	4fb0b408e2	Build system: Improve and fix deployment	2017-11-05 02:36:50 +01:00
Daniel Rudolf	da0d4c3054	Build system: Add tools/github-commit.sh	2017-11-04 22:47:47 +01:00
Daniel Rudolf	498961b0c6	Build system: Various small improvements	2017-10-22 21:22:11 +02:00
Daniel Rudolf	81ebc4c33e	Build system: Move helper scripts to _build/tools dir	2017-10-22 21:15:29 +02:00