Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / .project

diff --git a/.project b/.project
index d3a09b65d82308439b86f23227376e7eae6a4212..0566c612dbaccf67db606c60b7e87c2b51c3ce1f 100644 (file)
--- a/.project
+++ b/.project
@@ -32,7 +32,7 @@
        </natures>
        <filteredResources>
                <filter>
-                       <id>1497970923386</id>
+                       <id>1498023481284</id>
                        <name></name>
                        <type>30</type>
                        <matcher>