| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-01-21 | a group box called "Settings" in a settings dialog is useless... | Peter Penz |
| 2008-01-21 | Split the "General Settings" into "Startup Settings" and "General Settings" f... | Peter Penz |
![]() |
index : dolphin | |
| Patched KDE Dolphin with Pixel Scaling | Conway |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-01-21 | a group box called "Settings" in a settings dialog is useless... | Peter Penz |
| 2008-01-21 | Split the "General Settings" into "Startup Settings" and "General Settings" f... | Peter Penz |