JSON Config: Convert float to int (bug 1590)
[gpodder.git] / share / 
tree8812ac9fcc300b329a7e8fefc7638e7b3d6fbebf
drwxr-xr-x   ..
drwxr-xr-x - applications
drwxr-xr-x - dbus-1
drwxr-xr-x - gpodder
drwxr-xr-x - icons
drwxr-xr-x - man