diff .editorconfig @ 29756:46d9a5bb2fb0

journal: take wlock for writting the 'shared' file As we did for the shared extension itself, we add some locking around the write of the 'shared' file.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 08 Aug 2016 18:05:10 +0200
parents d30fdd6d1bf7
children 1d6066336d7b
line wrap: on
line diff