| commit | 80324a211029e01d7488aed8eec4163d6faaa7b0 | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Thu Mar 14 21:08:23 2024 +0100 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Thu Mar 14 21:08:23 2024 +0100 |
| tree | 6072a2e3403500df848c981ec865f2581b7e912b |
Initial import Change-Id: I9e4a180f34093c3c95adc1ee946efe92616d4d0d
diff --git a/.idea/kotlinc.xml b/.idea/kotlinc.xml new file mode 100644 index 0000000..0f2a345 --- /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="2.0.0-Beta4" /> + </component> +</project> \ No newline at end of file