diff .hgtags @ 5131:53dd70f557aa

prune: actually track folds using fold-* metadata in obsmarkers
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 15 Feb 2020 16:52:56 +0800
parents 4dc6b23c65bb
children 1797ef00d15f
line wrap: on
line diff