diff tests/test-push-checkheads-pruned-B8.t @ 4415:29733c2b0fd3

evolve: rename npublicdiv to publicnode In next patches it would make more sense to use publicnode instead of npublicdiv.
author Sushil khanchi <sushilkhanchi97@gmail.com>
date Thu, 28 Feb 2019 02:08:58 +0530
parents ab3581bc0637
children f555039d1a08 62b60fc1983d
line wrap: on
line diff