summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
nicoo [Thu, 17 Dec 2015 21:09:01 +0000 (22:09 +0100)]
Disable useless plugins
nicoo [Thu, 17 Dec 2015 21:08:23 +0000 (22:08 +0100)]
Cmment out destdir
nicoo [Thu, 17 Dec 2015 21:07:19 +0000 (22:07 +0100)]
index: Add how to build the doc
nicoo [Thu, 17 Dec 2015 20:59:03 +0000 (21:59 +0100)]
Initializing the wiki