From d24dd96d2c5b451eaa38b43c329d5f6c77e4109d Mon Sep 17 00:00:00 2001 From: sagie gur ari Date: Fri, 2 Feb 2024 11:01:45 +0000 Subject: [PATCH] release --- .buildnumber | 2 +- docs/api/help.html | 4 ++-- docs/api/settings.html | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.buildnumber b/.buildnumber index 680cc9c3..44dfb1d0 100644 --- a/.buildnumber +++ b/.buildnumber @@ -1 +1 @@ -263 \ No newline at end of file +264 \ No newline at end of file diff --git a/docs/api/help.html b/docs/api/help.html index c36c9b80..f7c472b9 100644 --- a/docs/api/help.html +++ b/docs/api/help.html @@ -1,2 +1,2 @@ -Help
-

Rustdoc help

Back
\ No newline at end of file +Help
+

Rustdoc help

Back
\ No newline at end of file diff --git a/docs/api/settings.html b/docs/api/settings.html index 8bee343c..e617a22f 100644 --- a/docs/api/settings.html +++ b/docs/api/settings.html @@ -1,2 +1,2 @@ -Settings
-

Rustdoc settings

Back
\ No newline at end of file +Settings
+

Rustdoc settings

Back
\ No newline at end of file