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	b472664a20	Build scripts: Don't try to commit nothing	2016-01-14 13:20:04 +01:00
Daniel Rudolf	cd0e0f706f	Build scripts: Git identity must be configured before committing	2016-01-14 13:12:10 +01:00