Sat, 07 Sep 2013 14:14:25 +0200 | wenzelm | clarified close operations; | file | diff | annotate |
Sat, 07 Sep 2013 14:07:12 +0200 | wenzelm | clarified result; | file | diff | annotate |
Sat, 07 Sep 2013 13:59:47 +0200 | wenzelm | dialog for system processes, with optional output window; | file | diff | annotate |