fix editor link!

w3c-cg · Dec 15, 2023 · fb23e88 · fb23e88
1 parent 1d8e207
commit fb23e88
Show file tree

Hide file tree

Showing 3 changed files with 197 additions and 197 deletions.
diff --git a/spec/create-markdown.py b/spec/create-markdown.py
@@ -82,7 +82,7 @@
 # In[604]:
 
 
-editor_uri = "https://n3-editor.herokuapp.com/n3/editor/?formula="
+editor_uri = "https://editor.notation3.org/?formula="
 md_string = ""