Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
circle: don't mess with pushd
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 16 Jun 2018 21:28:47 +0000 (23:28 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 16 Jun 2018 21:28:49 +0000 (23:28 +0200)
commita55c3a12307786375d06b92e0148a7a1c006a971
tree084ae0c088779e5aaceea7a165e31c3315062008
parentdfc3b7c81f7e4fec5c8da96745042766dc0da27f
circle: don't mess with pushd

I've no idea what pushd is, so stop pretending.
.circleci/config.yml