From 10fca7e27b483b35b55515524c72dd50821f4539 Mon Sep 17 00:00:00 2001
From: Daniel Chappuis <chappuis.daniel@gmail.com>
Date: Tue, 20 Apr 2021 23:57:00 +0200
Subject: [PATCH] Remove change from .gitignore file

---
 .gitignore | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index ad1b2893..bf6b5205 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,5 +43,3 @@ documentation/UserManual/*.tmp
 documentation/UserManual/*.toc
 documentation/UserManual/*.xref
 documentation/UserManual/*.xref
-
-/build