otbutz 952c8becf5 gui: Adjust table column width to content size (fixes #4531) (#5565)

2019-04-18 18:35:44 +02:00

..

dev.css

…

overrides.css

gui: Adjust table column width to content size (fixes #4531) (#5565)

2019-04-18 18:35:44 +02:00

theme.css

…