kickc/.idea/misc.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="MavenProjectsManager">
    <option name="originalFiles">
      <list>
        <option value="$PROJECT_DIR$/pom.xml" />
      </list>
    </option>
  </component>
  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="true" project-jdk-name="1.7" project-jdk-type="JavaSDK">
    <output url="file://$PROJECT_DIR$/out" />
  </component>
</project>
A bit more subpix work. Some font-work and a KickC parser start. 2017-05-01 00:11:51 +02:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
Moved to maven based configuration & build. 2017-07-29 14:59:53 +02:00			`<component name="MavenProjectsManager">`
			`<option name="originalFiles">`
			`<list>`
			`<option value="$PROJECT_DIR$/pom.xml" />`
			`</list>`
			`</option>`
			`</component>`
A bit more subpix work. Some font-work and a KickC parser start. 2017-05-01 00:11:51 +02:00			`<component name="ProjectRootManager" version="2" languageLevel="JDK_1_7" default="true" project-jdk-name="1.7" project-jdk-type="JavaSDK">`
			`<output url="file://$PROJECT_DIR$/out" />`
			`</component>`
			`</project>`