| commit | 80cee2abfb39ac3ebebb2e520d59eb509e4c3b6a | [log] [tgz] |
|---|---|---|
| author | Yupanqui Munoz <yupanqui.munozjulho@cea.fr> | Thu Nov 24 15:40:27 2016 +0100 |
| committer | Yupanqui Munoz <yupanqui.munozjulho@cea.fr> | Thu Nov 24 15:40:27 2016 +0100 |
| tree | b206f641ac9682ada2ec820680a2446ded09e372 | |
| parent | 9306ee4f6ee5618cf72c60b29e24d2ffc90606cc [diff] |
Work on *.core.doc plug-in. - Fix content of user manual Change-Id: Id13226e9e489f43018656d7262c585a6b8ea7540