debian/compat
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 07 Mar 2017 13:31:19 +0100
changeset 2050 604ecce27969
parent 531 b18b00036355
child 4912 43e9bb4de6b5
permissions -rw-r--r--
serveronly: use the same extensions metadata than evolve This will avoid them to drift out of sync with evolve.

8