Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
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)
commit9a94db9ebea7a49f58308560099411d4ab59b183
treec8ac25d32b0cc4e766ec4bcecf0d1abe4bbe3ab7
parent0a181f9dc2c9ddf87ba89aa15f5fee7adf71a665
parentdffc5212ce51c75b3ea19d884fb7607265e75d21
Merge branch 'cmake-no-doc-when-disabled' into 'master'

cmake: no doc when disabled

See merge request simgrid/simgrid!31