Michael N. Lipp a5ddf6ac97 Avoid updating immutable fields.		2025-01-25 13:32:00 +01:00
..
.settings	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
src/org/jdrupes/vmoperator/util	Avoid updating immutable fields.	2025-01-25 13:32:00 +01:00
.checkstyle	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
.eclipse-pmd	Re-enable PMD.	2024-05-13 22:33:05 +02:00
build.gradle	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00