| Sun, 25 Apr 2021 22:33:15 +0200 | wenzelm | avoid "exec" to change the winpid; | file | diff | annotate |
| Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
| Tue, 17 Nov 2020 22:05:59 +0100 | wenzelm | more uniform Resources.init_session via YXML; | file | diff | annotate |