diff options
author | Erik Oosting | 2023-12-13 16:56:15 +0100 |
---|---|---|
committer | Erik Oosting | 2023-12-13 16:56:15 +0100 |
commit | a1be864841356b237cbbee42c163384d69995555 (patch) | |
tree | acfe4743193d6f0f2992d8c1f1049b0315fe090b /.idea/misc.xml | |
parent | 258121cfb53b6b002dd0d2f68b91ce5234011620 (diff) |
add more visitor rules
Diffstat (limited to '.idea/misc.xml')
-rw-r--r-- | .idea/misc.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.idea/misc.xml b/.idea/misc.xml index 716a352..6f66444 100644 --- a/.idea/misc.xml +++ b/.idea/misc.xml @@ -19,5 +19,5 @@ <component name="Black"> <option name="sdkName" value="Python 3.11 (pythonProject)" /> </component> - <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.11 (pythonProject)" project-jdk-type="Python SDK" /> + <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.11 (fp-il)" project-jdk-type="Python SDK" /> </project> \ No newline at end of file |