diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:34:21 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2017-04-05 09:37:19 +0000 |
commit | 5a2c6845cfbc4cdb3ed73fcf7dadeea72fb35a4f (patch) | |
tree | fddf00d388347ca2a1006dc3419874c6c82cd131 /debian/patches/series | |
parent | d3a3dc09c4d850dff15cff7adcf742d65de023c3 (diff) |
Disable pretty build
Diffstat (limited to 'debian/patches/series')
-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 168b0e56..ea5639c7 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -4,3 +4,4 @@ switch-to-free-font.patch manual-build.patch kfreebsd-support.patch +0007-Disable-pretty-build.patch |