build based on 22d3d43

JuliaPOMDP · Jul 16, 2024 · addd964 · addd964
1 parent d671fcf
commit addd964
Show file tree

Hide file tree

Showing 20 changed files with 1,357 additions and 3 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v1.0.0
+v1.1.0
diff --git a/v1 b/v1
@@ -1 +1 @@
-v1.0.0
+v1.1.0
diff --git a/v1.1 b/v1.1
@@ -0,0 +1 @@
+v1.1.0
diff --git a/v1.1.0/.documenter-siteinfo.json b/v1.1.0/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-16T01:46:33","documenter_version":"1.3.0"}}
diff --git a/v1.1.0/api/index.html b/v1.1.0/api/index.html
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-07-16T01:46:33","documenter_version":"1.3.0"}}