diff options
| author | Erik Oosting | 2023-12-11 15:25:24 +0100 |
|---|---|---|
| committer | Erik Oosting | 2023-12-11 15:25:24 +0100 |
| commit | 0e96e69659c7c31927b7eee5c40d017b035a6471 (patch) | |
| tree | 8d037de425102e8ba6ebf0921aa7f58bacab1976 /.idea/misc.xml | |
Initial commit
Adding grammar
Diffstat (limited to '.idea/misc.xml')
| -rw-r--r-- | .idea/misc.xml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/.idea/misc.xml b/.idea/misc.xml new file mode 100644 index 0000000..716a352 --- /dev/null +++ b/.idea/misc.xml @@ -0,0 +1,23 @@ +<?xml version="1.0" encoding="UTF-8"?> +<project version="4"> + <component name="ANTLRGenerationPreferences"> + <option name="perGrammarGenerationSettings"> + <list> + <PerGrammarGenerationSettings> + <option name="fileName" value="*" /> + <option name="autoGen" value="true" /> + <option name="outputDir" value="" /> + <option name="libDir" value="" /> + <option name="encoding" value="" /> + <option name="pkg" value="" /> + <option name="language" value="Python3" /> + <option name="generateVisitor" value="true" /> + </PerGrammarGenerationSettings> + </list> + </option> + </component> + <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" /> +</project> \ No newline at end of file |