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

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

..

app

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

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

test/data

data: updated test log

2017-08-10 17:22:24 +02:00