2 Commits

Author	SHA1	Message	Date
Daniel Rudolf	381b339b9f	Build system: Fix _build/github-clone.sh	2016-11-02 22:40:05 +01:00
Daniel Rudolf	fad5d869ee	Improve build system; add _build/github-clone.sh	2016-11-02 22:23:41 +01:00