Michael N. Lipp 245fad39a9 Add event generation.		2024-01-09 13:56:19 +01:00
..
.settings	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
src/org/jdrupes/vmoperator/common	Add event generation.	2024-01-09 13:56:19 +01:00
.checkstyle	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
.eclipse-pmd	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
build.gradle	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00