debian/source/format
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 28 Feb 2017 15:09:03 +0100
changeset 1806 9f42f819267b
parent 755 0021301f7fde
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.

3.0 (quilt)