diff options
Diffstat (limited to '')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index c510cb4..721712e 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -10,3 +10,4 @@ plug-ins-Additional-fixes-for-DDS-Import.patch progress-linux/0001-default-font.patch progress-linux/0002-global-font.patch progress-linux/0003-toolbox-wilber.patch +progress-linux/0004-theme.patch |