diff options
-rwxr-xr-x | bootstrap | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -8,12 +8,6 @@ if ! git --version >/dev/null; then exit 1 fi -if ! pandoc --version >/dev/null; then - echo "pandoc not installed" - exit 1 -fi - - echo "$0: Updating submodules" echo | git submodule update --init --force --remote |