Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0a181f9 dffc521)
Merge branch 'cmake-no-doc-when-disabled' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Tue, 25 Feb 2020 13:23:57 +0000 (14:23 +0100)
committerAugustin Degomme <adegomme@gmail.com>
Tue, 25 Feb 2020 13:23:57 +0000 (14:23 +0100)
cmake: no doc when disabled

See merge request simgrid/simgrid!31


Trivial merge
Clone of SimGrid repository with local patches