diff options
| author | Yannick Bungers | 2021-01-15 21:25:31 +0100 |
|---|---|---|
| committer | GitHub | 2021-01-15 21:25:31 +0100 |
| commit | d0547a033758df86caa338a94af8e66329281720 (patch) | |
| tree | 613ee72ad60f819b4ddf77161b66b19b9a3a53b4 /public/vendor/ot/undo-manager.js | |
| parent | e9d45873440f45d7c06e7ec043062f06b6a586a5 (diff) | |
| parent | 3eb64cff55fa3a9f88b67cddedb388c6fb02c6b8 (diff) | |
Merge pull request #735 from hedgedoc/fix/correct-parsing-of-slide-options
Delete slide options that are not defined
Diffstat (limited to 'public/vendor/ot/undo-manager.js')
0 files changed, 0 insertions, 0 deletions