diff --git a/dev/api.html b/dev/api.html index d9afc292..77fe8257 100644 --- a/dev/api.html +++ b/dev/api.html @@ -74,11 +74,11 @@ diff --git a/dev/contents.html b/dev/contents.html index 074fdb43..b040dff6 100644 --- a/dev/contents.html +++ b/dev/contents.html @@ -74,11 +74,11 @@ diff --git a/dev/genindex.html b/dev/genindex.html index 9103bcb6..2221445a 100644 --- a/dev/genindex.html +++ b/dev/genindex.html @@ -73,11 +73,11 @@ diff --git a/dev/index.html b/dev/index.html index 941dff3d..b5df37eb 100644 --- a/dev/index.html +++ b/dev/index.html @@ -74,11 +74,11 @@ @@ -135,7 +135,7 @@

{fmt}

diff --git a/dev/search.html b/dev/search.html index 30030e96..7e699bb3 100644 --- a/dev/search.html +++ b/dev/search.html @@ -81,11 +81,11 @@ diff --git a/dev/syntax.html b/dev/syntax.html index 95114b68..62b94fda 100644 --- a/dev/syntax.html +++ b/dev/syntax.html @@ -74,11 +74,11 @@ diff --git a/dev/usage.html b/dev/usage.html index 19d080a0..c3b25254 100644 --- a/dev/usage.html +++ b/dev/usage.html @@ -74,11 +74,11 @@