diff .hg-format-source @ 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 48b30ff742cb
children
line wrap: on
line diff