diff contrib/dockerrpm @ 33512:1424a769f31b

bookmark: use 'divergent2delete' when updating a bookmark
author Boris Feld <boris.feld@octobus.net>
date Mon, 10 Jul 2017 19:12:25 +0200
parents d713fa934fb9
children a3ac1ea611ce
line wrap: on
line diff