| Thu, 03 Aug 2023 16:57:57 +0200 |
Mike Becker |
add XML schema - fixes #267
|
changeset |
files
|
| Tue, 25 Jul 2023 17:43:43 +0200 |
Mike Becker |
set minimum Java version to 17
|
changeset |
files
|
| Tue, 25 Jul 2023 17:37:51 +0200 |
Mike Becker |
fix missing chmod - close #278
|
changeset |
files
|
| Tue, 25 Jul 2023 17:18:53 +0200 |
Mike Becker |
add error handling to install.sh
|
changeset |
files
|
| Sun, 16 Jul 2023 13:29:41 +0200 |
Mike Becker |
fix default prefix in help text not being the default but the actual prefix
|
changeset |
files
|
| Sun, 16 Jul 2023 13:28:25 +0200 |
Mike Becker |
fix output not using PREFIX variable - fixes #270
|
changeset |
files
|
| Sun, 16 Jul 2023 13:10:50 +0200 |
Mike Becker |
add missing double-quotes and use lower-case local variable names - fixes #271
|
changeset |
files
|
| Sat, 15 Jul 2023 13:13:36 +0200 |
Mike Becker |
require Java 11 and update dependencies to recent versions
|
changeset |
files
|
| Sat, 15 Jul 2023 13:12:19 +0200 |
Mike Becker |
add .idea folder to .hgignore
|
changeset |
files
|
| Sun, 16 Apr 2023 14:17:08 +0200 |
Olaf Wintermann |
merge
|
changeset |
files
|
| Sun, 16 Apr 2023 14:16:31 +0200 |
Olaf Wintermann |
fix configure should always delete the tmp dir
|
changeset |
files
|
| Thu, 23 Feb 2023 13:11:26 +0100 |
Olaf Wintermann |
add PREFIX parameter to install script
|
changeset |
files
|
| Sat, 14 Nov 2020 21:12:53 +0100 |
Olaf Wintermann |
fix options
|
changeset |
files
|
| Sat, 14 Nov 2020 20:43:14 +0100 |
Olaf Wintermann |
improve posix shell compatibility
|
changeset |
files
|
| Sat, 24 Oct 2020 17:36:00 +0200 |
Olaf Wintermann |
fix toolchain detection in case gcc is not available
|
changeset |
files
|
