Eberhard Graether a9ca7f1223 ui: Added second line marker color to better highlight hovered and local symbols

2017-09-06 16:16:39 +02:00

..

data

ui: Added second line marker color to better highlight hovered and local symbols

2017-09-06 16:16:39 +02:00

user

ui: Added "Skip this Version" option to update dialog

2017-09-05 23:26:34 +02:00