| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Sun, 28 Apr 2019 12:34:56 +0200 | wenzelm | proper treatment of root as directory; | file | diff | annotate |
| Wed, 30 Jan 2019 16:32:06 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 30 Jan 2019 14:40:23 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 30 Jan 2019 14:35:15 +0100 | wenzelm | clarified modules; | file | diff | annotate |