dolphin - Patched KDE Dolphin with Pixel Scaling

Age	Commit message (Expand)	Author
2020-11-09	Fix a crash and extract unrelated changes	Felix Ernst
2020-11-09	Adress the first round of Angelaccio's review comments	Felix Ernst
2020-11-09	Add an option to use an UrlNavigator in the toolbar instead	Felix Ernst
2020-08-25	Output of licensedigger + manual cleanup afterwards.	Elvis Angelaccio
2020-03-30	Port away from deprecated KBookmarksmenu API	Nicolas Fella
2019-11-25	Remove dead code	Nicolas Fella
2019-05-13	Add Bookmark Handling	David Hallas

┌ ┐54└ ┘