Koddenbrock commited on
Commit
b7684d8
·
1 Parent(s): f761e78

update project configuration for DiffMT; set SDK name and adjust JDK version

Browse files
Files changed (1) hide show
  1. .idea/misc.xml +4 -1
.idea/misc.xml CHANGED
@@ -1,4 +1,7 @@
1
  <?xml version="1.0" encoding="UTF-8"?>
2
  <project version="4">
3
- <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.13" project-jdk-type="Python SDK" />
 
 
 
4
  </project>
 
1
  <?xml version="1.0" encoding="UTF-8"?>
2
  <project version="4">
3
+ <component name="Black">
4
+ <option name="sdkName" value="diffmt" />
5
+ </component>
6
+ <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.13 (DiffMT)" project-jdk-type="Python SDK" />
7
  </project>