include doc/webcruft/Paje_MSG_screenshot.jpg
include doc/webcruft/Paje_MSG_screenshot_thn.jpg
-include doc/webcruft/SGicon.gif
-include doc/webcruft/SGicon.icns
-include doc/webcruft/SGicon.ico
-include doc/webcruft/awstats_logo3.png
include doc/webcruft/eclipseScreenShot.png
include doc/webcruft/output.goal.pdf
-include doc/webcruft/poster_thumbnail.png
include doc/webcruft/simgrid_logo_2011.gif
include doc/webcruft/simgrid_logo_2011.png
include doc/webcruft/simgrid_logo_2011_small.png
-include doc/webcruft/storage_sample_scenario.png
include examples/c/actor-create/actor-create.c
include examples/c/actor-create/actor-create.tesh
include examples/c/actor-create/actor-create_d.xml
include teshsuite/s4u/wait-any-for/wait-any-for.tesh
include teshsuite/simdag/availability/availability.c
include teshsuite/simdag/availability/availability.tesh
-include teshsuite/simdag/basic1/basic1.c
-include teshsuite/simdag/basic1/basic1.tesh
include teshsuite/simdag/flatifier/bogus_missing_gateway.tesh
include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
include teshsuite/simdag/flatifier/flatifier.cpp
include src/mc/checker/LivenessChecker.hpp
include src/mc/checker/SafetyChecker.cpp
include src/mc/checker/SafetyChecker.hpp
+include src/mc/checker/SimcallInspector.cpp
include src/mc/checker/SimcallInspector.hpp
include src/mc/checker/UdporChecker.cpp
include src/mc/checker/UdporChecker.hpp