4 Commits

Author	SHA1	Message	Date
Daniel Rudolf	8c24e32f10	Build scripts: Fix formatting	2016-01-14 14:16:24 +01:00
Daniel Rudolf	26d7d2f68e	Build scripts: Fix formatting	2016-01-14 13:35:08 +01:00
Daniel Rudolf	cd0e0f706f	Build scripts: Git identity must be configured before committing	2016-01-14 13:12:10 +01:00
Daniel Rudolf	92026a3bd0	Add static shields.io badge generator	2016-01-14 12:49:46 +01:00