Mon, 12 Jun 2017 17:25:37 +0200 | Pierre-Yves David | profile: close 'fp' in all cases | changeset | files |
Mon, 12 Jun 2017 17:21:41 +0200 | Pierre-Yves David | profile: close 'fp' on error within '__enter__' | changeset | files |
Mon, 12 Jun 2017 17:20:48 +0200 | Pierre-Yves David | profile: indent part of '__enter__' | changeset | files |