Package pgadmin3: Files
Permissions | Path | Size | Date |
|---|---|---|---|
| -rwxr-xr-x | /usr/bin/pgadmin3 | 8.8 MB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/applications/pgadmin3.desktop | 510.0 B | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/icons/hicolor/16x16/apps/pgadmin3.png | 850.0 B | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/icons/hicolor/48x48/apps/pgadmin3.png | 7.3 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/icons/pgadmin3.png | 1.9 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/ca_ES/pgadmin3.mo | 330.3 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/cs_CZ/pgadmin3.mo | 338.3 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/de_DE/pgadmin3.mo | 266.5 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/fr_FR/pgadmin3.mo | 347.9 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/ja_JP/pgadmin3.mo | 294.1 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/lv_LV/pgadmin3.mo | 328.6 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/pl_PL/pgadmin3.mo | 326.4 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/ru_RU/pgadmin3.mo | 419.3 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/sr_RS/pgadmin3.mo | 399.2 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/locale/zh_CN/pgadmin3.mo | 301.7 KB | May 15, 2019, 07:57 PM |
| drwxr-xr-x | /usr/share/pgadmin3 | 140.0 B | May 15, 2019, 07:57 PM |
| drwxr-xr-x | /usr/share/pgadmin3/branding | 60.0 B | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/pgadmin3/branding/branding.ini | 1.9 KB | May 15, 2019, 07:57 PM |
| drwxr-xr-x | /usr/share/pgadmin3/i18n | 100.0 B | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/pgadmin3/i18n/pg_settings.csv | 35.1 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/pgadmin3/i18n/pgadmin3.lng | 1.6 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/pgadmin3/i18n/wxstd.mo | 420.0 B | May 15, 2019, 07:57 PM |
| drwxr-xr-x | /usr/share/pgadmin3/plugins.d | 60.0 B | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/pgadmin3/plugins.d/plugins.ini | 7.2 KB | May 15, 2019, 07:57 PM |
| -rw-r--r-- | /usr/share/pgadmin3/settings.ini | 1013.0 B | Nov 10, 2016, 05:15 PM |