From 6d980d92befe38ccfbf2d3298b6ead6b42d12dd1 Mon Sep 17 00:00:00 2001
From: Valentin Brandl <vbrandl@riseup.net>
Date: Tue, 14 May 2019 01:10:46 +0200
Subject: [PATCH] Ignore default log file

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 53e1610..77bef60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 **/*.rs.bk
 repos
 cache
+hoc.log