git://git.onelab.eu / nepi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ed00cc0 655eefc)
Merge commit '655eefc07db57c1d21cbf11487876c7d8ad6dc11'
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 8 Jun 2015 13:44:58 +0000 (15:44 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 8 Jun 2015 13:44:58 +0000 (15:44 +0200)
* commit '655eefc07db57c1d21cbf11487876c7d8ad6dc11':
  user manual
  user manual
  user manual
  update NEPI version on sphinx docs
  add sphinx documentation


Trivial merge
nepi