debian/docs
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 28 Feb 2017 15:09:03 +0100
changeset 1806 9f42f819267b
parent 1103 d1ca81f9e458
permissions -rw-r--r--
evolve: move the extensions to 'hgext3rd' We have the 'hgext3rd' as the official place for extension for some time now. We start the big migration. This might break some people setup but this is a necessary step to have evolve easily available through pip.

html
README