Marcin Kuzminski e373a46e25 comments: show nicer tooltip about outdated comments.		2020-06-12 09:34:17 +02:00
..
diffs.mako	comments: show nicer tooltip about outdated comments.	2020-06-12 09:34:17 +02:00
source.mako	hovercacrds: added new tooltips and hovercards to expose certain information for objects shown in UI	2019-10-31 17:52:42 +01:00