1 files changed, 0 insertions, 3 deletions
diff --git a/config.nix b/config.nix
deleted file mode 100644
index bb1ecee..0000000
--- a/config.nix
+++ /dev/null
@@ -1,3 +0,0 @@
-{
-  coq = "8.11";
-}