Add technical report

2025-02-28 13:46:21 -08:00
parent a0185df9d5
commit a3593cbba2
4 changed files with 473 additions and 17 deletions
--- a/mrvacommander.code-workspace
+++ b/mrvacommander.code-workspace
@@ -11,22 +11,6 @@
 		{
 			"name": "mrvaserver",
 			"path": "../mrvaserver"
-		},
-		{
-			"name": "mrva-docker",
-			"path": "../mrva-docker"
-		},
-		{
-			"name": "mrvahepc",
-			"path": "../mrvahepc"
-		},
-		{
-			"name": "gh-mrva",
-			"path": "../gh-mrva"
-		},
-		{
-			"name": "vscode-codeql",
-			"path": "../vscode-codeql"
 		}
 	],
 	"settings": {
@@ -35,4 +19,4 @@
        "makefile.configureOnOpen": false,
        "git.ignoreLimitWarning": true
 	}
-}
+}