From 87183573ce185852be164b1734a61a4dceb93c29 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sun, 24 Nov 2019 08:27:40 +0100
Subject: [PATCH] Ignore generated configuration

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

diff --git a/.gitignore b/.gitignore
index 6ab950dd..e49859a5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,3 +37,4 @@ depend
 # Others
 other/
 a*.dat
+config