diff --git a/website/cli.html b/website/cli.html index e7078962..fea3f294 100644 --- a/website/cli.html +++ b/website/cli.html @@ -88,7 +88,7 @@
diff --git a/website/index.html b/website/index.html index 364a6a30..6c2cff82 100644 --- a/website/index.html +++ b/website/index.html @@ -103,7 +103,7 @@
diff --git a/website/naming.html b/website/naming.html index 56356753..60f0f65c 100644 --- a/website/naming.html +++ b/website/naming.html @@ -88,7 +88,7 @@
diff --git a/website/script.html b/website/script.html index 6ad02cdc..3c5fcdf8 100644 --- a/website/script.html +++ b/website/script.html @@ -89,7 +89,7 @@