powersort/.idea/misc.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="FrameworkDetectionExcludesConfiguration">
    <file type="web" url="file://$PROJECT_DIR$" />
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_X" project-jdk-name="jbr-17" project-jdk-type="JavaSDK" />
</project>
.idea 2024-11-19 19:22:53 +01:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
			`<component name="FrameworkDetectionExcludesConfiguration">`
			`<file type="web" url="file://$PROJECT_DIR$" />`
			`</component>`
shell.nix: Development shell with dependencies installed 2024-11-23 18:01:53 +01:00			`<component name="ProjectRootManager" version="2" languageLevel="JDK_X" project-jdk-name="jbr-17" project-jdk-type="JavaSDK" />`
			`</project>`