1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-12-26 18:10:27 +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