Merge branch 'master' into dse_fix

devitocodes · Jun 7, 2017 · ce42877 · ce42877
2 parents 18e874c + fd825ec
commit ce42877
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/deploy.sh b/docs/deploy.sh
@@ -49,7 +49,7 @@ git config user.email "$COMMIT_AUTHOR_EMAIL"
 #if git diff --quiet; then
 #    echo "No changes to the output on this push; exiting."
 #    exit 0
-fi
+#fi
 
 # Commit the "changes", i.e. the new version.
 # The delta will show diffs between new and old versions.