From fe9ef6bccd016b1822ef08c2b827a6165ad7daaa Mon Sep 17 00:00:00 2001
From: joon-at-sri <joon.choi@sri.com>
Date: Mon, 22 Jul 2024 11:25:00 -0700
Subject: [PATCH] remove workspaces.json from git

---
 workspaces.json | 82 -------------------------------------------------
 1 file changed, 82 deletions(-)
 delete mode 100644 workspaces.json

diff --git a/workspaces.json b/workspaces.json
deleted file mode 100644
index 0f07c30..0000000
--- a/workspaces.json
+++ /dev/null
@@ -1,82 +0,0 @@
-{
-  "workspaces": [
-    {
-      "name": "box",
-      "impl": "vis",
-      "layout": {
-        "0": {
-          "x": -80,
-          "y": 89
-        },
-        "11": {
-          "x": 19,
-          "y": 196
-        },
-        "29": {
-          "x": 86,
-          "y": -15
-        },
-        "32": {
-          "x": -66,
-          "y": -254
-        },
-        "34": {
-          "x": -187,
-          "y": -268
-        },
-        "36": {
-          "x": -67,
-          "y": -73
-        },
-        "38": {
-          "x": 111,
-          "y": -83
-        }
-      },
-      "zoom": 1,
-      "view": {
-        "x": 0,
-        "y": 0
-      }
-    },
-    {
-      "name": "testttttt",
-      "impl": "vis",
-      "layout": {
-        "0": {
-          "x": 194,
-          "y": -141
-        },
-        "11": {
-          "x": -192,
-          "y": -142
-        },
-        "29": {
-          "x": -54,
-          "y": -225
-        },
-        "32": {
-          "x": -106,
-          "y": -41
-        },
-        "34": {
-          "x": 151,
-          "y": 39
-        },
-        "36": {
-          "x": -24,
-          "y": -94
-        },
-        "38": {
-          "x": -51,
-          "y": 153
-        }
-      },
-      "zoom": 1,
-      "view": {
-        "x": 0,
-        "y": 0
-      }
-    }
-  ]
-}
\ No newline at end of file