overall: re-ran migrations

mbeddr · Aug 5, 2024 · ea98e8f · ea98e8f
1 parent 87f2bdb
commit ea98e8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/tutorial/.mps/vcs.xml b/code/tutorial/.mps/vcs.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="VcsDirectoryMappings">
-    <mapping directory="$mbeddr.formal.home$" vcs="Git" />
+    <mapping directory="$PROJECT_DIR$/../.." vcs="Git" />
   </component>
 </project>