diff options
| author | Roel Spilker <r.spilker@gmail.com> | 2022-01-27 12:56:35 +0100 |
|---|---|---|
| committer | Roel Spilker <r.spilker@gmail.com> | 2022-01-27 12:57:20 +0100 |
| commit | 4067ead6bd2d0c188c10058866fd5744d7bfa859 (patch) | |
| tree | 41dfbc57af569bb1921b38d07f16173af10d1625 /website/resources/js/main.js | |
| parent | 6f351dfe1a32e2e8b0be76ff07972eb2a910846c (diff) | |
| download | lombok-4067ead6bd2d0c188c10058866fd5744d7bfa859.tar.gz lombok-4067ead6bd2d0c188c10058866fd5744d7bfa859.tar.bz2 lombok-4067ead6bd2d0c188c10058866fd5744d7bfa859.zip | |
rename main.html to index.html
Diffstat (limited to 'website/resources/js/main.js')
| -rw-r--r-- | website/resources/js/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/website/resources/js/main.js b/website/resources/js/main.js index 3d18b996..fe90a086 100644 --- a/website/resources/js/main.js +++ b/website/resources/js/main.js @@ -64,7 +64,7 @@ $(window).on("statechange", function() { var hs = History.getState(); var u = hs.data.urlPath; - if (u === "/" || u === "") u = "/main.html"; + if (u === "/" || u === "") u = "/index.html"; if (u.substring(u.length - 5) !== ".html") u += ".html"; if (u.substring(u.length - 8) === "all.html") u = u.substring(0, u.length - 8) + "index.html"; var key = toKey(u); |