deploy: df5b86c

antmicro · Oct 9, 2024 · 4991d84 · 4991d84
1 parent 04a6c33
commit 4991d84
Show file tree

Hide file tree

Showing 9 changed files with 16,240 additions and 16,218 deletions.
diff --git a/MystEditor.js b/MystEditor.js
diff --git a/docs/collaboration.html b/docs/collaboration.html
@@ -472,7 +472,7 @@ <h2 id="other-collaborative-features">Other Collaborative Features<a class="head
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/comments.html b/docs/comments.html
@@ -622,7 +622,7 @@ <h2 id="suggestions">Suggestions<a class="headerlink" href="#suggestions" title=
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/genindex.html b/docs/genindex.html
@@ -367,7 +367,7 @@
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/index.html b/docs/index.html
@@ -426,7 +426,7 @@ <h1 id="myst-editor-user-manual">MyST Editor - User Manual<a class="headerlink"
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/introduction.html b/docs/introduction.html
@@ -426,7 +426,7 @@ <h1 id="introduction">Introduction<a class="headerlink" href="#introduction" tit
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/mermaid.html b/docs/mermaid.html
@@ -430,7 +430,7 @@ <h1 id="mermaid-diagrams">Mermaid Diagrams<a class="headerlink" href="#mermaid-d
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/rich-links.html b/docs/rich-links.html
@@ -506,7 +506,7 @@ <h2 id="refreshing-links">Refreshing Links<a class="headerlink" href="#refreshin
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>

diff --git a/docs/topbar.html b/docs/topbar.html
@@ -519,7 +519,7 @@ <h2 id="view-mode-buttons">View Mode Buttons<a class="headerlink" href="#view-mo
 
     </div>
 
-      <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+      <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
         @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
 
 </div>
-Original file line number
+Diff line change
@@ Expand Up @@
         </div>
-          <a href="https://github.com/antmicro/myst-editor/tree/0703f452ab290797dbc235beb1bfa3a442a7f5f6">0703f452</a>
+          <a href="https://github.com/antmicro/myst-editor/tree/df5b86c355944b7ed22840f239046303a3b5ffa3">df5b86c3</a>
             @ <a href="https://github.com/antmicro/myst-editor/tree/main">main</a>
     </div>
@@ Expand Down @@