From 038e5abf79e4b208dbe2bc91e44b4068e858dd59 Mon Sep 17 00:00:00 2001
From: Martin Nolte <mnolte@dune-project.org>
Date: Thu, 11 Jun 2009 07:15:51 +0000
Subject: [PATCH] don't ignore *.resume anymore, it is now in the home
 directory

[[Imported from SVN: r5546]]
---
 bin/.gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bin/.gitignore b/bin/.gitignore
index bd319a109..7c78bf9ea 100644
--- a/bin/.gitignore
+++ b/bin/.gitignore
@@ -5,4 +5,3 @@ semantic.cache
 check-log-store
 
 *.swp
-*.resume
-- 
GitLab