From 4a561d0822042f9073a0e438416c5c92dd2c61fe Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 2 Aug 2017 10:35:41 +0200 Subject: [PATCH 1/1] Update .gitignore. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 2b2b42be43..5c80711e9d 100644 --- a/.gitignore +++ b/.gitignore @@ -102,6 +102,7 @@ doc/simgrid.tag doc/doxygen/logcategories.doc doc/simgrid_modules.map doc/javadoc +doc/example_lists/ ### Specific of project .settings/ .csettings/ -- 2.20.1