remove garbageHEADmaster

1 files changed, 0 insertions, 17 deletions

diff --git a/backend/check b/backend/check
deleted file mode 100755
index f100e41..0000000
--- a/backend/check
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-for file in *.cpp *.hpp *.h ; do
-	# non C-style headers
-	grep -Hn '#include\s*<[^.]\+>' "$file" | grep -v '<random>'
-	# forbidden STL containers
-	grep -Hn '\<unique_ptr\>' "$file"
-	grep -Hn '\<make_unique\>' "$file"
-	grep -Hn '\<shared_ptr\>' "$file"
-	grep -Hn '\<make_shared\>' "$file"
-	grep -Hn '\<vector\>' "$file"
-	grep -Hn '\<string\>[^.]' "$file" # [^.] is to ignore C's <string.h>
-	grep -Hn '\<pair\>' "$file"
-	grep -Hn '\<map\>' "$file"
-	grep -Hn '\<unordered_map\>' "$file"
-done
-exit 0
-