Switch to new separated bootstrap
Splits the bootstrap out into a new repo, and uses that instead of the current embedded bootstrap
Fixes #80 (closed) Fixes #96 (closed)
Edited by Adrian Vovk
Splits the bootstrap out into a new repo, and uses that instead of the current embedded bootstrap
Fixes #80 (closed) Fixes #96 (closed)