build based on 8d7b80d

rwth-irt · Apr 23, 2024 · c1a5f2d · c1a5f2d
1 parent 801887c
commit c1a5f2d
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.2","generation_timestamp":"2024-04-23T11:42:23","documenter_version":"1.4.0"}}
+{"documenter":{"julia_version":"1.10.2","generation_timestamp":"2024-04-23T11:50:39","documenter_version":"1.4.0"}}