Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Removed PIPOL documentation and added CI (Jenkins)
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Tue, 19 May 2015 14:06:07 +0000 (16:06 +0200)
committerChristian Heinrich <franz-christian.heinrich@inria.fr>
Tue, 19 May 2015 14:58:20 +0000 (16:58 +0200)
- PIPOL seems to have been an old system used for that
  purpose; all references were removed or updated.

- Added a file called "inside_ci.doc". There are sometimes
  tricky things that one wants to do with Jenkins and it's
  good for us to have a starting point here.


No differences found