diff tests/test-push-checkheads-pruned-B8.t @ 3745:9fa3585b160f stable

debian: add line to clean-docs target to delete additional docs file
author Faheem Mitha <faheem@faheem.info>
date Sat, 19 May 2018 18:26:36 +0530
parents 2e703ed1c713
children d5adce52cef4 ef22eef37ecc
line wrap: on
line diff