diff Makefile @ 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 9929af2b09b4
children 91ae09010950
line wrap: on
line diff