debian/docs
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Wed, 03 May 2017 12:25:53 +0200
changeset 2311 26d638e419df
parent 1103 d1ca81f9e458
permissions -rw-r--r--
auto-push: move config help in the extension help That is a better spot than the extension itself.

html
README