diff --git a/jenkins b/jenkins
deleted file mode 100755
index 055d99f4e533d719b7173b9a064f56c5a1ea035e..0000000000000000000000000000000000000000
Binary files a/jenkins and /dev/null differ