include teshsuite/mc/mutex-handling/mutex-handling.tesh
include teshsuite/mc/mutex-handling/mutex-handling_d.xml
include teshsuite/mc/mutex-handling/without-mutex-handling.tesh
+include teshsuite/mc/random-bug/random-bug-nocrash.tesh
include teshsuite/mc/random-bug/random-bug-replay.tesh
include teshsuite/mc/random-bug/random-bug.cpp
include teshsuite/mc/random-bug/random-bug.tesh
include docs/source/Tutorial_MPI_Applications.rst
include docs/source/XML_Reference.rst
include docs/source/_ext/hidden_code_block.py
-include docs/source/_ext/javasphinx-apidoc
-include docs/source/_ext/javasphinx/__init__.py
-include docs/source/_ext/javasphinx/apidoc.py
-include docs/source/_ext/javasphinx/compiler.py
-include docs/source/_ext/javasphinx/domain.py
-include docs/source/_ext/javasphinx/extdoc.py
-include docs/source/_ext/javasphinx/formatter.py
-include docs/source/_ext/javasphinx/htmlrst.py
-include docs/source/_ext/javasphinx/util.py
include docs/source/_templates/breadcrumbs.html
include docs/source/app_msg.rst
include docs/source/app_s4u.rst
include include/simgrid/actor.h
include include/simgrid/barrier.h
include include/simgrid/chrono.hpp
+include include/simgrid/cond.h
include include/simgrid/config.h.in
include include/simgrid/engine.h
include include/simgrid/forward.h
include include/simgrid/mailbox.h
include include/simgrid/modelchecker.h
include include/simgrid/msg.h
+include include/simgrid/mutex.h
include include/simgrid/plugins/dvfs.h
include include/simgrid/plugins/energy.h
include include/simgrid/plugins/file_system.h