Michael N. Lipp 8b6acceda8 Re-enable PMD.		2024-05-13 22:33:05 +02:00
..
.settings	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
src/org/jdrupes/vmoperator/util	Feature/web gui2 (#16)	2023-10-30 23:10:26 +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