diff .hgtags @ 2292:f026e85bd0b2

evolve: update extension help I'm pretty sure there are some missing bits, but this cannot be worse than before.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Sat, 29 Apr 2017 05:35:01 +0200
parents 1b6d4d176145
children 673de955b14d
line wrap: on
line diff