Remove agent-relay and devlog paths from workspace configuration

Marvin Zhang · Marvin Zhang · commit 51ab902a5e42 · 2025-12-18T10:45:16.000+08:00
diff --git a/lean-spec.code-workspace b/lean-spec.code-workspace
@@ -3,12 +3,6 @@
 		{
 			"path": "."
 		},
-		{
-			"path": "../agent-relay"
-		},
-		{
-			"path": "../devlog"
-		}
 	],
 	"settings": {
 		"rust-analyzer.linkedProjects": [
