diff options
Diffstat (limited to '.nix/coq-nix-toolbox.nix')
| -rw-r--r-- | .nix/coq-nix-toolbox.nix | 1 |
1 files changed, 0 insertions, 1 deletions
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" |