From 12d7d3a6cbfed4dc13be0bdf0bb5a6bed6d17820 Mon Sep 17 00:00:00 2001 From: Christophe Battarel Date: Sat, 2 Mar 2019 09:54:32 +0100 Subject: [PATCH] retrieve latest branch --- htdocs/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/htdocs/.gitignore b/htdocs/.gitignore index ac35d8fab2f..aa007a70ae5 100644 --- a/htdocs/.gitignore +++ b/htdocs/.gitignore @@ -28,3 +28,4 @@ /nomenclature* /of/ /workstation/ +/theme/dolipro* \ No newline at end of file