use context manager to save and read node session
authorparmentelat <thierry.parmentelat@inria.fr>
Thu, 20 Dec 2018 11:29:16 +0000 (12:29 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Thu, 20 Dec 2018 11:29:16 +0000 (12:29 +0100)

No differences found