diff --git a/.idea/runConfigurations/Generate_builtins.xml b/.idea/runConfigurations/Generate_builtins.xml new file mode 100644 index 00000000000..840b17852ee --- /dev/null +++ b/.idea/runConfigurations/Generate_builtins.xml @@ -0,0 +1,23 @@ + + + + + + + true + true + false + + + \ No newline at end of file