diff --git a/web/src/main/resources/index-opt.html b/web/src/main/resources/index-opt.html deleted file mode 100644 index c1345a152..000000000 --- a/web/src/main/resources/index-opt.html +++ /dev/null @@ -1,18 +0,0 @@ - - - - Dependency resolution with Coursier - - - - -
- -
- - - - - diff --git a/web/src/main/resources/index-dev.html b/web/src/main/resources/index.html similarity index 100% rename from web/src/main/resources/index-dev.html rename to web/src/main/resources/index.html