Fri, 23 Mar 2018 11:50:01 +0100 Damien Correia Updated to sphinx_rtd_theme; pip install sphinx_rtd_theme dev-dc
Fri, 23 Mar 2018 11:00:50 +0100 Damien Correia Update Quickstart Documentation dev-dc
Mon, 12 Mar 2018 11:44:06 +0100 Pape Manadou Wade Doc update dev_pmw
Mon, 12 Mar 2018 11:13:40 +0100 Pape Manadou Wade Creation de la branche sous le rep_user_guide dev_pmw
Sun, 11 Mar 2018 11:40:48 +0100 Thierry Florac Updated introduction
Tue, 06 Mar 2018 11:24:09 +0100 Thierry Florac Removed table of contents
Tue, 06 Mar 2018 11:06:45 +0100 Thierry Florac Reorganized index
Mon, 05 Mar 2018 10:40:40 +0100 Thierry Florac Added files for scripts and configuration directives
(0) -10 -8 +8 +10 +30 +100 tip