alemi 04f8e758a3 chore: bump for release ... also update releasing guide		2024-11-17 13:56:43 +01:00
..
src/mp/code	docs(java): specify the new behaviour of leaveWorkspace	2024-11-03 19:36:36 +01:00
build.gradle	chore: bump for release	2024-11-17 13:56:43 +01:00
settings.gradle	chore: cleanup, reorganizing java glue	2024-08-08 00:29:54 +02:00