|
|
92428a3859
|
update version numbers
|
2024-02-11 12:58:44 +01:00 |
|
|
|
c9a94334c4
|
fixes packaging to work without JS
|
2023-06-27 18:49:45 +02:00 |
|
|
|
e0b710efc4
|
sets target execution environment for launch configs
|
2023-02-22 07:56:28 +01:00 |
|
|
|
6a591f2dbc
|
add gh-pages deployment steps
|
2021-11-27 16:48:09 +01:00 |
|
|
|
8c031e7649
|
add maven launch configs
|
2021-01-10 13:16:28 +01:00 |
|
