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
---
 package.nix | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 package.nix

(limited to 'package.nix')

diff --git a/package.nix b/package.nix
new file mode 100644
index 0000000..661824d
--- /dev/null
+++ b/package.nix
@@ -0,0 +1 @@
+"mathcomp.single"
-- 
cgit v1.2.3