removed build folder (preparing to include its contents as a subtree)
Squashed 'build/' content from commit a6abec2

git-subtree-dir: build
git-subtree-split: a6abec2b3af9565b0339efafeabe432cab3e2e75
Merge commit '66188dfc2b9345f19461572fd0f70be84816f783' as 'build'

(included https://github.com/mmig/mmir-tooling as subtree in /build)