diff COPYING @ 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 143c8e4dc22d
children
line wrap: on
line diff