Marcin Kuzminski a83fce8367 diff-navigation: small improvements on text and display of navigation menu.		2020-07-14 12:43:23 +02:00
..
diffs.mako	diff-navigation: small improvements on text and display of navigation menu.	2020-07-14 12:43:23 +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