1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-11-30 05:19:57 +00:00
TiddlyWiki5/plugins/tiddlywiki/katex/ui
Simon Huber 91db09bd1e Katex dropdown: add description hint (#4048)
* katex dropdown: add description hint

* Update katex-dropdown.tid
2019-07-02 15:04:57 +01:00
..
EditorToolbar Katex dropdown: add description hint (#4048) 2019-07-02 15:04:57 +01:00