diff --git a/website/cli.html b/website/cli.html index 68d630fb..28110870 100644 --- a/website/cli.html +++ b/website/cli.html @@ -303,7 +303,7 @@ diff --git a/website/index.html b/website/index.html index b3c48e75..efc8acc7 100644 --- a/website/index.html +++ b/website/index.html @@ -280,7 +280,7 @@ diff --git a/website/naming.html b/website/naming.html index 33bc8211..96f88da4 100644 --- a/website/naming.html +++ b/website/naming.html @@ -449,7 +449,7 @@ diff --git a/website/script.html b/website/script.html index 1a39e37b..f68e75d7 100644 --- a/website/script.html +++ b/website/script.html @@ -205,7 +205,7 @@