From ab0b5c65d67c42d23aded574c23e494516cd5d98 Mon Sep 17 00:00:00 2001 From: Ladd Hoffman Date: Tue, 11 Jul 2023 20:31:53 -0500 Subject: [PATCH] Add stub for wdg editor tool page --- src/index.html | 6 +++++- src/wdg-editor/index.html | 11 +++++++++++ src/wdg-editor/index.js | 0 3 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 src/wdg-editor/index.html create mode 100644 src/wdg-editor/index.js diff --git a/src/index.html b/src/index.html index 8b95bbf..3a91b39 100644 --- a/src/index.html +++ b/src/index.html @@ -14,7 +14,11 @@ For more information please see the DGF Wiki.

-

Javascript Prototype: Example Scenarios

+

Tools

+ +

Example Scenarios

Below are example scenarios with various assertions covering features of our reputation system.

diff --git a/src/wdg-editor/index.html b/src/wdg-editor/index.html new file mode 100644 index 0000000..a47c3fd --- /dev/null +++ b/src/wdg-editor/index.html @@ -0,0 +1,11 @@ + + + + WDG Editor + + + + + +

Weighted Directed Graph Editor

+ \ No newline at end of file diff --git a/src/wdg-editor/index.js b/src/wdg-editor/index.js new file mode 100644 index 0000000..e69de29