devtools: add shell window

This commit is contained in:
Max Weber
2021-02-22 10:40:05 -07:00
parent 2c4f3a895e
commit 7480c74750
16 changed files with 1645 additions and 36 deletions

View File

@@ -48,7 +48,6 @@
<dependency>
<groupId>com.google.code.findbugs</groupId>
<artifactId>jsr305</artifactId>
<version>3.0.2</version>
<scope>provided</scope>
</dependency>