diff --git a/Grid/bootstrap.sh b/Grid/bootstrap.sh index 62796f8..ad5a273 100755 --- a/Grid/bootstrap.sh +++ b/Grid/bootstrap.sh @@ -2,7 +2,7 @@ set -euo pipefail -json_url='https://github.com/nlohmann/json/blob/bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d/single_include/nlohmann/json.hpp' +json_url='https://raw.githubusercontent.com/nlohmann/json/bc889afb4c5bf1c0d8ee29ef35eaaf4c8bef8a5d/single_include/nlohmann/json.hpp' if [ ! -f json.hpp ]; then wget ${json_url}