From 476aa248bebcd2eb85b51b0b818dc37eaf94d6f2 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Fri, 12 Mar 2021 13:18:16 +0100
Subject: Revert "Use nix-tool-box"

This reverts commit 8674d6996fca76028ead3f75363f11bab4fa3e7c that I
added by accident
---
 .nix/coq-nix-toolbox.nix | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .nix/coq-nix-toolbox.nix

(limited to '.nix/coq-nix-toolbox.nix')

diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix
deleted file mode 100644
index ba2d943..0000000
--- a/.nix/coq-nix-toolbox.nix
+++ /dev/null
@@ -1 +0,0 @@
-"e54b920493f0494ede95b5f7d083cc8b20b1f5a6"
-- 
cgit v1.2.3