From 20cb1448b482e5b82473b21cd08d2ac03e79d6c0 Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Mon, 18 Jun 2018 16:32:12 +0700 Subject: [PATCH] Speed up website --- website/cli.html | 2 +- website/index.html | 2 +- website/naming.html | 2 +- website/script.html | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) 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 @@