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
..
tiddlywiki	Katex dropdown: add description hint (#4048)	2019-07-02 15:04:57 +01:00