2016-09-01 wenzelm tuned GUI: modal dialog last;
2016-09-01 wenzelm tuned message;
2016-09-01 wenzelm merged
2016-09-01 wenzelm NEWS;
2016-09-01 wenzelm more robust persistent storage;
2016-09-01 wenzelm clarified important directories;
2016-09-01 wenzelm separate action;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip