Minor cleanups

This commit is contained in:
Erik C. Thauvin 2024-05-12 12:08:27 -07:00
parent 8d4f608e90
commit 258b8126bb
Signed by: erik
GPG key ID: 776702A6A2DA330E
6 changed files with 427 additions and 6 deletions

View file

@ -1,6 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="KotlinJpsPluginSettings">
<option name="version" value="1.9.20" />
<option name="version" value="1.9.24" />
</component>
</project>