diff Makefile @ 36937:cc51b6a07869

push-discovery: don't turn use generator when comparing bookmarks We want extensions to be able to implement their own logic. Generators can be consume only once, impractical for this purpose.
author Boris Feld <boris.feld@octobus.net>
date Fri, 09 Mar 2018 16:31:35 +0100
parents 521f6c7e1756
children 0024961aa493
line wrap: on
line diff