-
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
* python/spot/aux.py (tmpdir): New context manager. * python/spot/ltsmin.i: Use it for the two magics. * NEWS: Mention this.