diff --git a/collects/typed-scheme/.gitignore b/collects/typed-scheme/.gitignore
deleted file mode 100644
index e3ca6473f7..0000000000
--- a/collects/typed-scheme/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-compiled