build based on 812b8ef

TUM-ITR · May 8, 2024 · a58a501 · a58a501
1 parent 58c6bf7
commit a58a501
Show file tree

Hide file tree

Showing 15 changed files with 1,241 additions and 0 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-08T09:55:21","documenter_version":"1.4.1"}}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-08T09:55:21","documenter_version":"1.4.1"}}