From bc4d45fa639e32394081f726cbb1f093eb469b0a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20Manuel=20Tom=C3=A1s?= <jtomas1815@gmail.com>
Date: Sun, 17 Jan 2021 18:08:45 -0300
Subject: Remove dead code

---
 src/number.rs | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/number.rs

(limited to 'src/number.rs')

diff --git a/src/number.rs b/src/number.rs
deleted file mode 100644
index cd5d47f..0000000
--- a/src/number.rs
+++ /dev/null
@@ -1 +0,0 @@
-pub type Number = f32;
-- 
cgit v1.2.3