Tue, 07 Jul 2015 14:12:46 +0200 | Julien Cristau | [serverctl] call server_{maintenance,shutdown} hooks around add-source | changeset | files |
Tue, 07 Jul 2015 14:57:24 +0200 | RĂ©mi Cardona | Update hgignore | changeset | files |
Tue, 07 Jul 2015 21:13:23 +0200 | Julien Cristau | delete unmaintained clone_deps script | changeset | files |