deploy: 08085da

anand-bala · Oct 13, 2023 · 7513084 · 7513084
1 parent 823e83e
commit 7513084
Show file tree

Hide file tree

Showing 11 changed files with 10 additions and 1 deletion.
diff --git a/dev/.buildinfo b/dev/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: cd77c3e24b500ce6a8493a58b669baaa
+config: 0fa61149b99bc2a3a779cf122f1456fe
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/dev/.doctrees/api/argus/_argus/index.doctree b/dev/.doctrees/api/argus/_argus/index.doctree
diff --git a/dev/.doctrees/api/argus/index.doctree b/dev/.doctrees/api/argus/index.doctree
diff --git a/dev/.doctrees/api/argus/test_utils/expr_gen/index.doctree b/dev/.doctrees/api/argus/test_utils/expr_gen/index.doctree
diff --git a/dev/.doctrees/api/argus/test_utils/index.doctree b/dev/.doctrees/api/argus/test_utils/index.doctree
diff --git a/dev/.doctrees/api/argus/test_utils/signals_gen/index.doctree b/dev/.doctrees/api/argus/test_utils/signals_gen/index.doctree
diff --git a/dev/.doctrees/api/index.doctree b/dev/.doctrees/api/index.doctree
diff --git a/dev/.doctrees/environment.pickle b/dev/.doctrees/environment.pickle
diff --git a/dev/.doctrees/getting_started.doctree b/dev/.doctrees/getting_started.doctree
diff --git a/dev/.doctrees/index.doctree b/dev/.doctrees/index.doctree
diff --git a/index.html b/index.html
@@ -0,0 +1,9 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <title>Redirecting to master branch</title>
+    <meta charset="utf-8">
+    <meta http-equiv="refresh" content="0; url=./master/index.html">
+    <link rel="canonical" href="/dev/index.html">
+  </head>
+</html>