From 80585eb1cdc9e41f587ebc9b5d8fbab175fbdd43 Mon Sep 17 00:00:00 2001 From: Artus Date: Thu, 17 Oct 2019 13:01:33 +0200 Subject: [PATCH] removes useless file --- src/lib.rs | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/lib.rs diff --git a/src/lib.rs b/src/lib.rs deleted file mode 100644 index e69de29..0000000