| commit | 4f6ed42a4a8d3ff259fb9d8ba375c20be656192b | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Fri Mar 01 07:27:46 2024 +0100 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Fri Mar 01 07:32:14 2024 +0100 |
| tree | ff2e5bccb70987aa40e6056e1734755d1de6c954 |
Initial import Change-Id: Ifd0a927bc5c9fea0e675ccd730e11d501632eebb
diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml new file mode 100644 index 0000000..8d81632 --- /dev/null +++ b/.idea/kotlinc.xml
@@ -0,0 +1,6 @@ +<?xml version="1.0" encoding="UTF-8"?> +<project version="4"> + <component name="KotlinJpsPluginSettings"> + <option name="version" value="1.9.22" /> + </component> +</project> \ No newline at end of file