log tests/test-checkheads-pruned-B4.t @ 2247:2320a7e3cbd7

age author description
Tue, 21 Mar 2017 12:30:53 +0100 Pierre-Yves David checkheads: basic handling of pruned heads (and associated tests)