diff .editorconfig @ 32794:6f775d10e83b

bookmarks: make sure we close the bookmark file after reading We previously lacked an explicit close of the bookmark file.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Sat, 10 Jun 2017 01:59:22 +0100
parents d30fdd6d1bf7
children 1d6066336d7b
line wrap: on
line diff