From 953b38b74e121402085739309a2124ddadb7dc4e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Fri, 3 Apr 2020 23:08:20 +0200
Subject: [PATCH] update ack config

---
 .ackrc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ackrc b/.ackrc
index 74759e641..151cb2be2 100644
--- a/.ackrc
+++ b/.ackrc
@@ -2,5 +2,5 @@
 # See https://beyondgrep.com/ for details.
 
 # Ignore misc files generated by the build process
---ignore-file=ext:glob,aux
---ignore-dir=html
\ No newline at end of file
+--ignore-file=ext:glob,aux,d,conf,orig
+--ignore-dir=html
-- 
GitLab