diff --git a/dev/index.html b/dev/index.html index 59aedd7052..0d969f1be0 100644 --- a/dev/index.html +++ b/dev/index.html @@ -151,7 +151,7 @@

Getting started

You will first need: