
24 Sep
2018
24 Sep
'18
8:18 a.m.
On 2018-09-05 21:22, Rasmus Villemoes wrote:
In the case where one deletes an already-non-existing variable, or sets a variable to the value it already has, there is no point in writing the environment back, thus reducing wear on the underlying storage device.
ping