diff --git a/website/cli.html b/website/cli.html index 0412ac01..8bca6294 100644 --- a/website/cli.html +++ b/website/cli.html @@ -54,7 +54,7 @@
- +
diff --git a/website/naming.html b/website/naming.html index fbbd433d..62f04d90 100644 --- a/website/naming.html +++ b/website/naming.html @@ -54,7 +54,7 @@
- +
diff --git a/website/script.html b/website/script.html index 52928159..2521a12a 100644 --- a/website/script.html +++ b/website/script.html @@ -54,7 +54,7 @@
- +