Merge branch 'dev' into main

tiagohm · Aug 5, 2023 · 26443b1 · 26443b1
2 parents 435ba0d + e2d0582
commit 26443b1
Show file tree

Hide file tree

Showing 67 changed files with 2,042 additions and 752 deletions.
diff --git a/api/Main.run.xml b/api/Main.run.xml
@@ -9,7 +9,7 @@
                 value="--server.port=7000"/>
         <shortenClasspath name="NONE"/>
         <method v="2">
-            <option name="Make"
+            <option name="MakeProject"
                     enabled="true"/>
         </method>
     </configuration>