From 408c115b44ccf2ca8a972efa26209abc316ea103 Mon Sep 17 00:00:00 2001 From: sylvestre Date: Sun, 9 Oct 2022 04:10:20 +0000 Subject: [PATCH] deploy: c249eba195809b51d95ea470b413d669888f9a27 --- dev/settings.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/settings.html b/dev/settings.html index 8241f8b4e..a87d37c6b 100644 --- a/dev/settings.html +++ b/dev/settings.html @@ -1 +1 @@ -Rustdoc settings

Rustdoc settings

Back
\ No newline at end of file +Rustdoc settings

Rustdoc settings

Back
\ No newline at end of file