diff .editorconfig @ 33491:1adcb594eb6b

bookmarks: use 'applychanges' for bookmark update There is still some use of 'deletedivergent' bookmark here. They will be taken care of later. The 'deletedivergent' code needs some rework before fitting in the new world.
author Boris Feld <boris.feld@octobus.net>
date Mon, 10 Jul 2017 19:40:23 +0200
parents d30fdd6d1bf7
children 1d6066336d7b
line wrap: on
line diff