Add ModelChecker::finalize_app(), but don't use it as it don't work yet

[simgrid.git] / .gitattributes

.gitattributes export-ignore
.gitignore export-ignore
.mailmap export-ignore