Mon, 12 Jun 2017 17:20:48 +0200 | Pierre-Yves David | profile: indent part of '__enter__' | changeset | files |
Mon, 12 Jun 2017 17:15:43 +0200 | Pierre-Yves David | profile: remove now useless indent | changeset | files |
Mon, 12 Jun 2017 17:14:56 +0200 | Pierre-Yves David | profile: use explicit logic to control file closing | changeset | files |
Mon, 12 Jun 2017 17:13:35 +0200 | Pierre-Yves David | profiling: move 'fp' closing logic into its own function | changeset | files |