Merge remote-tracking branch 'source/main' into main

Toni-SM · Oct 13, 2023 · 93a777c · 93a777c
2 parents ed2478e + 26c348c
commit 93a777c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,3 @@
+{
+    "workbench.colorTheme": "JetJet-Alternate"
+}
diff --git a/src/semu.xr.openxr/compile_extension.bash b/src/semu.xr.openxr/compile_extension.bash
@@ -13,4 +13,4 @@ mv *.so semu/xr/openxr/
 
 # delete temporal data
 rm -r build
-rm semu/xr/openxr/*.c
+rm semu/xr/openxr/*.c