diff options
| author | David Mehren | 2020-11-27 19:24:19 +0100 |
|---|---|---|
| committer | David Mehren | 2020-11-27 19:24:43 +0100 |
| commit | b0e2577fd5528a31daae45cd5289d058ee707069 (patch) | |
| tree | 99fafb9e33cd81d885f8663d14f715cc4060d414 /lib/ot | |
| parent | 61f54db63eea7e590cd751d4878d1c445c7f9cf8 (diff) | |
Remove reference to nonexisting DOM element
This was missed in #596 and breaks the frontend JS.
Signed-off-by: David Mehren <git@herrmehren.de>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions