2015-12-17 | nicoo | Add Servers page and sidebar | blob | commitdiff |
2015-12-17 | nicoo | doc: Build more nicely locally | blob | commitdiff | diff to current |
2015-12-17 | nicoo | doc: Build using a Makefile | blob | commitdiff | diff to current |
2015-12-17 | nicoo | Use the right locale; no userdirs | blob | commitdiff | diff to current |
2015-12-17 | nicoo | Disable useless plugins | blob | commitdiff | diff to current |
2015-12-17 | nicoo | Cmment out destdir | blob | commitdiff | diff to current |
2015-12-17 | nicoo | Initializing the wiki | blob | commitdiff | diff to current |