Closed maxhbr closed 1 year ago
this did some fixes and improvements and then just executed the ./.github/workflows/scripts/convert.sh all. It used the updated java tools from #44
./.github/workflows/scripts/convert.sh all
some files are committed as gzips, as they are to large for Github.
this did some fixes and improvements and then just executed the
./.github/workflows/scripts/convert.sh all
. It used the updated java tools from #44