From e18eecaad4e955ad4d07861888c917e808b3a14a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 2 Sep 2013 18:09:15 +0200
Subject: [PATCH] another special name for gitignore

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

diff --git a/.gitignore b/.gitignore
index a7f44c4f..d2fb6c46 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,4 +13,5 @@ django-static/
 # various working files
 play/
 *.leftovers
+*.hide
 entrypoints.ongoing/
-- 
2.47.0