| commit | d291d12ad0987a73e4a26e502ac930ff2e57c822 | |
| author | auouymous <5005204+auouymous@users.noreply.github.com> | |
| Thu, 7 Jul 2022 08:13:10 +0000 (7 01:13 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 7 Jul 2022 08:13:10 +0000 (7 01:13 -0700) | ||
| tree | c054c142ef14fb397531f5eaab693fa5b5dd2769 | treesnapshot (tar.gz zip) |
| parent | db4c6ce8b165d00ecb62f9a4e948703da62046e2 | commitdiff |
| parent | 5a2a2ef9a996279f32680f986a9b73700f083c93 | commitdiff |
Merge pull request #1313 from auouymous/remove-extension-prefs-border
Remove border around extensions list in preferences.
Remove border around extensions list in preferences.
| share/gpodder/ui/gtk/gpodderpreferences.ui | diff1 | diff2 | blobhistory |