From cb39c6f3ce5cbe91e94dd5186d2ec317c059a8e9 Mon Sep 17 00:00:00 2001
From: Christophe Battarel <christophe@altairis.fr>
Date: Wed, 6 Mar 2019 16:48:48 +0100
Subject: [PATCH] remove specific entry in gitignore

---
 htdocs/.gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/htdocs/.gitignore b/htdocs/.gitignore
index aa007a70ae5..ac35d8fab2f 100644
--- a/htdocs/.gitignore
+++ b/htdocs/.gitignore
@@ -28,4 +28,3 @@
 /nomenclature*
 /of/
 /workstation/
-/theme/dolipro*
\ No newline at end of file