Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
travis: improve our detection of whether we are on a pull request
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 6 Mar 2017 23:33:30 +0000 (00:33 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 6 Mar 2017 23:33:34 +0000 (00:33 +0100)
Reading the docs sometimes pays off


No differences found