comparison COPYING @ 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 8c8b55733cbd
children
comparison
equal deleted inserted replaced
36936:a2baa61bbb14 36937:cc51b6a07869