Fri, 15 Sep 2017 19:56:23 +0200 avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
wenzelm [Fri, 15 Sep 2017 19:56:23 +0200] rev 66667
avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);
Fri, 15 Sep 2017 17:50:52 +0200 clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
wenzelm [Fri, 15 Sep 2017 17:50:52 +0200] rev 66666
clarified messages: after writing all files (see also 27f90319a499 and 57c85c83c11b);
Mon, 11 Sep 2017 17:55:42 +0200 spelling
haftmann [Mon, 11 Sep 2017 17:55:42 +0200] rev 66665
spelling
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip