Commit 717bfcb5 authored by Kostis Trantzas's avatar Kostis Trantzas
Browse files

Deployed 9616ee60 to develop in public with MkDocs 1.6.1 and mike 2.1.3

parent ca548dca
Loading
Loading
Loading
Loading
+3 −3
Original line number Original line Diff line number Diff line
@@ -16,7 +16,7 @@
      
      
      
      
      <link rel="icon" href="/develop/images/favicon.png">
      <link rel="icon" href="/develop/images/favicon.png">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.1">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.2">
    
    
    
    
      
      
@@ -24,7 +24,7 @@
      
      
    
    
    
    
      <link rel="stylesheet" href="/develop/assets/stylesheets/main.a40c8224.min.css">
      <link rel="stylesheet" href="/develop/assets/stylesheets/main.d7758b05.min.css">
      
      
        
        
        <link rel="stylesheet" href="/develop/assets/stylesheets/palette.06af60db.min.css">
        <link rel="stylesheet" href="/develop/assets/stylesheets/palette.06af60db.min.css">
@@ -2517,7 +2517,7 @@
    <script id="__config" type="application/json">{"base": "/develop", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "/develop/assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    <script id="__config" type="application/json">{"base": "/develop", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "/develop/assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    
    
    
    
      <script src="/develop/assets/javascripts/bundle.5090c770.min.js"></script>
      <script src="/develop/assets/javascripts/bundle.f13b1293.min.js"></script>
      
      
    
    
  </body>
  </body>
+3 −3
Original line number Original line Diff line number Diff line
@@ -22,7 +22,7 @@
      
      
      
      
      <link rel="icon" href="../../../images/favicon.png">
      <link rel="icon" href="../../../images/favicon.png">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.1">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.2">
    
    
    
    
      
      
@@ -30,7 +30,7 @@
      
      
    
    
    
    
      <link rel="stylesheet" href="../../../assets/stylesheets/main.a40c8224.min.css">
      <link rel="stylesheet" href="../../../assets/stylesheets/main.d7758b05.min.css">
      
      
        
        
        <link rel="stylesheet" href="../../../assets/stylesheets/palette.06af60db.min.css">
        <link rel="stylesheet" href="../../../assets/stylesheets/palette.06af60db.min.css">
@@ -2872,7 +2872,7 @@
    <script id="__config" type="application/json">{"base": "../../..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../../../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    <script id="__config" type="application/json">{"base": "../../..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../../../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    
    
    
    
      <script src="../../../assets/javascripts/bundle.5090c770.min.js"></script>
      <script src="../../../assets/javascripts/bundle.f13b1293.min.js"></script>
      
      
    
    
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
+3 −3
Original line number Original line Diff line number Diff line
@@ -22,7 +22,7 @@
      
      
      
      
      <link rel="icon" href="../../../images/favicon.png">
      <link rel="icon" href="../../../images/favicon.png">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.1">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.2">
    
    
    
    
      
      
@@ -30,7 +30,7 @@
      
      
    
    
    
    
      <link rel="stylesheet" href="../../../assets/stylesheets/main.a40c8224.min.css">
      <link rel="stylesheet" href="../../../assets/stylesheets/main.d7758b05.min.css">
      
      
        
        
        <link rel="stylesheet" href="../../../assets/stylesheets/palette.06af60db.min.css">
        <link rel="stylesheet" href="../../../assets/stylesheets/palette.06af60db.min.css">
@@ -3224,7 +3224,7 @@
    <script id="__config" type="application/json">{"base": "../../..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../../../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    <script id="__config" type="application/json">{"base": "../../..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../../../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    
    
    
    
      <script src="../../../assets/javascripts/bundle.5090c770.min.js"></script>
      <script src="../../../assets/javascripts/bundle.f13b1293.min.js"></script>
      
      
    
    
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
+3 −3
Original line number Original line Diff line number Diff line
@@ -22,7 +22,7 @@
      
      
      
      
      <link rel="icon" href="../../images/favicon.png">
      <link rel="icon" href="../../images/favicon.png">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.1">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.2">
    
    
    
    
      
      
@@ -30,7 +30,7 @@
      
      
    
    
    
    
      <link rel="stylesheet" href="../../assets/stylesheets/main.a40c8224.min.css">
      <link rel="stylesheet" href="../../assets/stylesheets/main.d7758b05.min.css">
      
      
        
        
        <link rel="stylesheet" href="../../assets/stylesheets/palette.06af60db.min.css">
        <link rel="stylesheet" href="../../assets/stylesheets/palette.06af60db.min.css">
@@ -2608,7 +2608,7 @@
    <script id="__config" type="application/json">{"base": "../..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    <script id="__config" type="application/json">{"base": "../..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    
    
    
    
      <script src="../../assets/javascripts/bundle.5090c770.min.js"></script>
      <script src="../../assets/javascripts/bundle.f13b1293.min.js"></script>
      
      
    
    
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
+3 −3
Original line number Original line Diff line number Diff line
@@ -18,7 +18,7 @@
      
      
      
      
      <link rel="icon" href="../images/favicon.png">
      <link rel="icon" href="../images/favicon.png">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.1">
      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.6.2">
    
    
    
    
      
      
@@ -26,7 +26,7 @@
      
      
    
    
    
    
      <link rel="stylesheet" href="../assets/stylesheets/main.a40c8224.min.css">
      <link rel="stylesheet" href="../assets/stylesheets/main.d7758b05.min.css">
      
      
        
        
        <link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
        <link rel="stylesheet" href="../assets/stylesheets/palette.06af60db.min.css">
@@ -2669,7 +2669,7 @@ So if another external service raises an Alarm (with POST) for the running servi
    <script id="__config" type="application/json">{"base": "..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    <script id="__config" type="application/json">{"base": "..", "features": ["navigation.instant", "navigation.instant.progress", "navigation.top", "navigation.footer", "navigation.path", "search", "search.highlight", "content.code.copy"], "search": "../assets/javascripts/workers/search.f8cc74c7.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"provider": "mike"}}</script>
    
    
    
    
      <script src="../assets/javascripts/bundle.5090c770.min.js"></script>
      <script src="../assets/javascripts/bundle.f13b1293.min.js"></script>
      
      
    
    
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
  <script id="init-glightbox">const lightbox = GLightbox({"touchNavigation": true, "loop": false, "zoomable": true, "draggable": true, "openEffect": "zoom", "closeEffect": "zoom", "slideEffect": "slide"});
Loading