Merge pull request #4630 from MrPetovan/task/4629-move-executable-to-bin

author Tobias Diekershoff <tobias.diekershoff@gmx.net>

Mon, 19 Mar 2018 14:05:53 +0000 (15:05 +0100)

committer GitHub <noreply@github.com>

Mon, 19 Mar 2018 14:05:53 +0000 (15:05 +0100)
author Tobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 19 Mar 2018 14:05:53 +0000 (15:05 +0100)
committer GitHub <noreply@github.com>
Mon, 19 Mar 2018 14:05:53 +0000 (15:05 +0100)
diff --cc doc/Github.md
Simple merge
diff --cc util/README
Simple merge
author	Tobias Diekershoff <tobias.diekershoff@gmx.net>
	Mon, 19 Mar 2018 14:05:53 +0000 (15:05 +0100)
committer	GitHub <noreply@github.com>
	Mon, 19 Mar 2018 14:05:53 +0000 (15:05 +0100)
		1	2
doc/Github.md	patch \|	diff1 \|	diff2 \|	blob \| history
util/README	patch \|	diff1 \|	diff2 \|	blob \| history