| Fri, 16 Jul 2021 12:34:47 +0200 | wenzelm | clarified names; | changeset | files |
| Fri, 16 Jul 2021 12:11:13 +0200 | wenzelm | clarified component setup for old graph browser; | changeset | files |
| Fri, 16 Jul 2021 11:36:24 +0200 | wenzelm | redundant: *.class and *.jar are already ignored; | changeset | files |