diff docs/user-guide.rst @ 2247:2320a7e3cbd7

checkheads: basic handling of pruned heads (and associated tests) We now detect that heads was pruned and stop warning about it. Note that this has the same shortcoming as the existing code and only looks at the heads.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 21 Mar 2017 12:30:53 +0100
parents 0683e3030316
children 83d2c9637e89
line wrap: on
line diff