linter

moves-rwth · Dec 5, 2024 · d44b237 · d44b237
1 parent fc933ef
commit d44b237
Show file tree

Hide file tree

Showing 21 changed files with 30,701 additions and 30,673 deletions.
diff --git a/docs/getting_started/die.html b/docs/getting_started/die.html
@@ -15,18 +15,18 @@
     &gt;&lt;/script&gt;
     &lt;style type=&quot;text/css&quot;&gt;
       #mynetwork {
-        
+
         width: 800px;
         height: 600px;
         border: 1px solid lightgray;
-        
+
       }
     &lt;/style&gt;
   &lt;/head&gt;
   &lt;body&gt;
     &lt;div id=&quot;mynetwork&quot;&gt;&lt;/div&gt;
     &lt;script type=&quot;text/javascript&quot;&gt;
-        
+
         var nodes = new vis.DataSet([{ id: 0, label: `init`, group: &quot;states&quot; },
 { id: 1, label: `rolled1`, group: &quot;states&quot; },
 { id: 2, label: `rolled2`, group: &quot;states&quot; },
@@ -207,4 +207,4 @@
 "
                 border:none !important;
                 allowfullscreen webkitallowfullscreen mozallowfullscreen
-          ></iframe>
+          ></iframe>