From 92d942dabfd116f441f1418a18096113f67cb996 Mon Sep 17 00:00:00 2001
From: Alfred Sawaya <alfred@huji.fr>
Date: Thu, 13 Feb 2020 15:41:52 +0100
Subject: [PATCH] clean and gitignore deletefb.log

---
 .gitignore            | 1 +
 deletefb/deletefb.log | 0
 2 files changed, 1 insertion(+)
 delete mode 100644 deletefb/deletefb.log

diff --git a/.gitignore b/.gitignore
index c45468f..80c1faa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 .envrc
 __pycache__
 venv
+deletefb.log
diff --git a/deletefb/deletefb.log b/deletefb/deletefb.log
deleted file mode 100644
index e69de29..0000000