diff --git a/tool/.gitignore b/tool/.gitignore
deleted file mode 100644
index 23fa7d31a..000000000
--- a/tool/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-k
\ No newline at end of file