diff options
author | Marcin Aman <marcin.aman@gmail.com> | 2020-07-21 14:24:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-21 14:24:05 +0200 |
commit | 185f7e26edff82460793e1065888e49c5df34512 (patch) | |
tree | b1975399903a2bfe6c483593741745707d2167bb /plugins/base/frontend/src/main | |
parent | f39971875c4f7d98dc1add2a8ed949d22b25600b (diff) | |
download | dokka-185f7e26edff82460793e1065888e49c5df34512.tar.gz dokka-185f7e26edff82460793e1065888e49c5df34512.tar.bz2 dokka-185f7e26edff82460793e1065888e49c5df34512.zip |
Allow anchors to redirect user without refresh (#1187)
Diffstat (limited to 'plugins/base/frontend/src/main')
0 files changed, 0 insertions, 0 deletions