diff .hg-format-source @ 5553:355a7c91ce9a

evolve: rename haspubdiv to haspublicdiv for more clarity
author Sushil khanchi <sushilkhanchi97@gmail.com>
date Wed, 12 Aug 2020 17:21:05 +0530
parents 48b30ff742cb
children
line wrap: on
line diff