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/javadoc/src | |
| 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/javadoc/src')
0 files changed, 0 insertions, 0 deletions