diff --git a/website/naming.html b/website/naming.html index 0973644a..516f3e3e 100644 --- a/website/naming.html +++ b/website/naming.html @@ -226,12 +226,12 @@