| Fri, 16 Jul 2021 12:59:10 +0200 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Fri, 16 Jul 2021 12:55:02 +0200 | wenzelm | clarified names; | changeset | files |
| Fri, 16 Jul 2021 12:45:37 +0200 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Fri, 16 Jul 2021 12:40:39 +0200 | wenzelm | clarified directory; | changeset | files |
| 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 |
| Fri, 16 Jul 2021 11:32:32 +0200 | wenzelm | proper cat_lines: avoid last "\n"; | changeset | files |