From eff1aed7ae0458bb25542213d5858175c38fb488 Mon Sep 17 00:00:00 2001 From: Robert-M-Lucas <100799838+Robert-M-Lucas@users.noreply.github.com> Date: Fri, 30 Aug 2024 01:39:32 +0100 Subject: [PATCH] Added Obsidian --- .idea/workspace.xml | 35 +- docs/.obsidian/app.json | 1 + docs/.obsidian/appearance.json | 1 + docs/.obsidian/community-plugins.json | 4 + docs/.obsidian/core-plugins-migration.json | 30 + docs/.obsidian/core-plugins.json | 20 + docs/.obsidian/graph.json | 22 + .../.obsidian/plugins/obsidian-kanban/main.js | 151 + .../plugins/obsidian-kanban/manifest.json | 11 + .../plugins/obsidian-kanban/styles.css | 1 + .../plugins/table-editor-obsidian/data.json | 6 + .../plugins/table-editor-obsidian/main.js | 29167 ++++++++++++++++ .../table-editor-obsidian/manifest.json | 17 + .../plugins/table-editor-obsidian/styles.css | 78 + docs/.obsidian/workspace.json | 169 + .../Detailed/Type System Improvement.md | 0 docs/Planning/Planning.md | 5 + docs/Planning/TODO.md | 29 + todo.txt | 7 - 19 files changed, 29718 insertions(+), 36 deletions(-) create mode 100644 docs/.obsidian/app.json create mode 100644 docs/.obsidian/appearance.json create mode 100644 docs/.obsidian/community-plugins.json create mode 100644 docs/.obsidian/core-plugins-migration.json create mode 100644 docs/.obsidian/core-plugins.json create mode 100644 docs/.obsidian/graph.json create mode 100644 docs/.obsidian/plugins/obsidian-kanban/main.js create mode 100644 docs/.obsidian/plugins/obsidian-kanban/manifest.json create mode 100644 docs/.obsidian/plugins/obsidian-kanban/styles.css create mode 100644 docs/.obsidian/plugins/table-editor-obsidian/data.json create mode 100644 docs/.obsidian/plugins/table-editor-obsidian/main.js create mode 100644 docs/.obsidian/plugins/table-editor-obsidian/manifest.json create mode 100644 docs/.obsidian/plugins/table-editor-obsidian/styles.css create mode 100644 docs/.obsidian/workspace.json create mode 100644 docs/Planning/Detailed/Type System Improvement.md create mode 100644 docs/Planning/Planning.md create mode 100644 docs/Planning/TODO.md delete mode 100644 todo.txt diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 7712e5e..371c5b0 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -8,34 +8,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - + { "selectedUrlAndAccountId": { - "url": "https://github.com/Robert-M-Lucas/whython-8.git", - "accountId": "dcb8df19-0b39-47e1-9073-4a54f7034be8" + "url": "https://github.com/Robert-M-Lucas/whython-8", + "accountId": "5325d154-08ff-47af-a3ea-1a4a5e1c240e" } } @@ -315,6 +289,9 @@ + + +