diff debian/control @ 2251:2f71f6234b06

checkheads-tests: add missing parents recording for prune markers It is a bit too easy to forget about theses :/ If they are missing, the markers are not going to be exchanged on push.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Fri, 31 Mar 2017 13:42:28 +0200
parents fb5e479080d8
children 790feb47ec64
line wrap: on
line diff