diff options
| author | krasimir <krasimir@chalmers.se> | 2016-06-16 08:02:06 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2016-06-16 08:02:06 +0000 |
| commit | 821878773c58a81fa92cdcbfd3be9a2f5a0cf12d (patch) | |
| tree | c38c116cf3f7b8c2d858cedec483620511bbfd78 /src/runtime/python/INSTALL | |
| parent | 630b9d7b1eccc415cc7613d2473ffaa0ee9b39fa (diff) | |
bugfix in the load method in the Python binding. The file was never closed.
Diffstat (limited to 'src/runtime/python/INSTALL')
0 files changed, 0 insertions, 0 deletions