Files
website/static
Qiming Teng 8a1ccddfd4 Remove customization of 'anchors'
The AnchorsJS module has been killed recently in #22311 prematurely. Now we don't
have a global variable 'anchors' to customize. This PR removes the related code
in script.js in hope everything else is still working correctly.
2020-07-18 21:08:19 +08:00
..
2020-07-18 21:08:19 +08:00
2020-07-10 15:46:43 -04:00