* Reverted accidentally commited file

oweisse · Sep 22, 2018 · 3d28247 · 3d28247
1 parent b298543
commit 3d28247
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/pre-commit b/scripts/pre-commit
@@ -1,4 +1,4 @@
-#!/bin/bash -ex
+#!/bin/bash
 
 set -e
 

diff --git a/website/runlocal.sh b/website/runlocal.sh
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash
 
 # Must run in website directory.
 mkdocs serve && exit 0