1 files changed, 0 insertions, 17 deletions

diff --git a/tools/pre-commit b/tools/pre-commit
deleted file mode 100644
index 8f91779d..00000000
--- a/tools/pre-commit
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/env sh
-#
-# An example hook script to verify what is about to be committed.
-# Called by "git commit" with no arguments.  The hook should
-# exit with non-zero status after issuing an appropriate message if
-# it wants to stop the commit.
-#
-# To enable this hook, rename this file to "pre-commit".
-
-for file in `git diff-index --diff-filter=ACMR --name-only HEAD`; do
-    if [[ $file == *.c || $file == *.h ]]
-    then
-        echo $file
-        `which astyle` $file --options=tools/astylerc
-        git add $file
-    fi
-done
\ No newline at end of file