| Tue, 21 Nov 2023 23:35:22 +0100 | wenzelm | proper build with jdk-21 (amending 4fb5e6499da9); | file | diff | annotate |
| Sat, 17 Jul 2021 13:42:21 +0200 | wenzelm | clarified build_props: empty module means no build; | file | diff | annotate |
| Fri, 16 Jul 2021 12:55:02 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Fri, 16 Jul 2021 12:40:39 +0200 | wenzelm | clarified directory; | file | diff | annotate |
| Fri, 16 Jul 2021 12:11:13 +0200 | wenzelm | clarified component setup for old graph browser; | file | diff | annotate |