Remove border around extensions list in preferences.
[gpodder.git] / share / gpodder / ui / gtk / 
tree76b377f781ad5b2e15fbdeb0a6275f55d033d059
drwxr-xr-x   ..
-rw-r--r-- 31661 gpodder.ui
-rw-r--r-- 5356 gpodderaddpodcast.ui
-rw-r--r-- 50281 gpodderchannel.ui
-rw-r--r-- 6378 gpodderconfigeditor.ui
-rw-r--r-- 11885 gpodderepisodeselector.ui
-rw-r--r-- 1871 gpodderexporttolocalfolder.ui
-rw-r--r-- 13058 gpodderpodcastdirectory.ui
-rw-r--r-- 74087 gpodderpreferences.ui
-rw-r--r-- 9403 gpodderwelcome.ui
-rw-r--r-- 9528 menus.ui