From 1609f1d495e45ef40a65be03c94289b3508437c4 Mon Sep 17 00:00:00 2001
From: Dhanya Thattil <dhanya.thattil@psi.ch>
Date: Fri, 9 Feb 2018 14:06:09 +0100
Subject: [PATCH] release.txt is not pushed in by default

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

diff --git a/.gitignore b/.gitignore
index 28cdacd3c..4ef28dd50 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ bin/
 *.toc
 build
 docs/
+RELEASE.txt