Michael Lipp abe06b4658 Adapt viewer preview controls to permission changes.		2024-11-09 11:08:59 +00:00
..
.settings	Feature/web gui (#12)	2023-10-21 22:16:10 +02:00
src/org/jdrupes/vmoperator/util	Adapt viewer preview controls to permission changes.	2024-11-09 11:08:59 +00: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