Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 50c10d5 10759b0)
Merge branch 'cmake-customizable-install-paths' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Tue, 25 Feb 2020 19:52:46 +0000 (20:52 +0100)
committerAugustin Degomme <adegomme@gmail.com>
Tue, 25 Feb 2020 19:52:46 +0000 (20:52 +0100)
cmake: customizable installation directories

See merge request simgrid/simgrid!33


Trivial merge
Clone of SimGrid repository with local patches