| Fri, 17 Jul 2015 14:06:22 +0200 | Julien Cristau | [doc] generalize info about debian/ubuntu repositories | file | diff | annotate |
| Fri, 17 Jul 2015 13:49:58 +0200 | Julien Cristau | [doc] fix link to setup info in README | file | diff | annotate |
| Tue, 07 Jul 2015 21:13:23 +0200 | Julien Cristau | delete unmaintained clone_deps script | file | diff | annotate |
| Thu, 08 Jan 2015 22:11:06 +0100 | Christophe de Vienne | [doc] Restructure the documentation | file | diff | annotate | base |