-
Alexandre Duret-Lutz authored
* python/spot/aux.py (tmpdir): New context manager. * python/spot/ltsmin.i: Use it for the two magics. * NEWS: Mention this.
e37f62dc
To find the state of this project's repository at the time of any of these versions, check out the tags.