Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
projet_description: lookup in ModelChecker build too (e.g. for Java version).
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 Nov 2020 19:26:37 +0000 (20:26 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 Nov 2020 19:32:11 +0000 (20:32 +0100)
commit818cc6a72b40750e3fb5e7e867fd08180cb16ad0
treea1aefc08763898bd38c3255a4d24c30e1ce9f12c
parentc0dd30145e2e22a8b3e22af71d78c9964a35b798
projet_description: lookup in ModelChecker build too (e.g. for Java version).
tools/jenkins/project_description.sh