powersort/.idea/compiler.xml

mirror of https://gitlab.uni-marburg.de/langbeid/powersort.git synced 2025-01-22 19:55:44 +01:00
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="CompilerConfiguration">
    <bytecodeTargetLevel target="23" />
  </component>
</project>
.idea 2024-11-19 19:22:53 +01:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
			`<component name="CompilerConfiguration">`
shell.nix: Development shell with dependencies installed 2024-11-23 18:01:53 +01:00			`<bytecodeTargetLevel target="23" />`
.idea 2024-11-19 19:22:53 +01:00			`</component>`
shell.nix: Development shell with dependencies installed 2024-11-23 18:01:53 +01:00			`</project>`