diff .hgtags @ 2311:26d638e419df

auto-push: move config help in the extension help That is a better spot than the extension itself.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Wed, 03 May 2017 12:25:53 +0200
parents 1b6d4d176145
children 673de955b14d
line wrap: on
line diff