dist.src/install.sh
| Sun, 28 Jan 2024 13:22:02 +0100 | Mike Becker | add shortcut for installation to home | file | diff | annotate |
| Tue, 12 Sep 2023 22:42:12 +0200 | Mike Becker | automatically generate dist files with correct version number - fixes #262 | file | diff | annotate | base |
