Sebastian Sdorra c16c431f63 Merge branch 'feature/release_descriptor' into develop

2020-06-03 16:41:15 +02:00

..

bin

Fix unix packaging

2020-06-03 15:53:47 +02:00

build

write release descriptor to website repository during deploy

2020-06-03 14:41:03 +02:00

deb/control

recommend openjdk 11 instead of requiring it

2020-05-26 15:05:44 +02:00

fs

Fix unix packaging

2020-06-03 15:53:47 +02:00