noc.git
8 years agoDisable useless plugins
nicoo [Thu, 17 Dec 2015 21:09:01 +0000 (22:09 +0100)]
Disable useless plugins

8 years agoCmment out destdir
nicoo [Thu, 17 Dec 2015 21:08:23 +0000 (22:08 +0100)]
Cmment out destdir

8 years agoindex: Add how to build the doc
nicoo [Thu, 17 Dec 2015 21:07:19 +0000 (22:07 +0100)]
index: Add how to build the doc

8 years agoInitializing the wiki
nicoo [Thu, 17 Dec 2015 20:59:03 +0000 (21:59 +0100)]
Initializing the wiki