diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-17 18:02:03 +0200 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-10-17 18:02:03 +0200 |
commit | 42daa78b5be0b7b54d2c6a870cbaa6112b7fe388 (patch) | |
tree | 85ff85e1a72be10904ccf1dbbca48ad124ca934f /debian/patches/0007-Disable-pretty-build.patch | |
parent | 127ca27dd106b25d1d84ec33300b70c8e93c36de (diff) |
Refreshed patches for 0.8 etc
Diffstat (limited to 'debian/patches/0007-Disable-pretty-build.patch')
-rw-r--r-- | debian/patches/0007-Disable-pretty-build.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0007-Disable-pretty-build.patch b/debian/patches/0007-Disable-pretty-build.patch index 7a999a2c..c115f66b 100644 --- a/debian/patches/0007-Disable-pretty-build.patch +++ b/debian/patches/0007-Disable-pretty-build.patch @@ -7,7 +7,7 @@ Subject: Disable pretty build 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile -index c888b2c..ebefd2a 100644 +index f357258..13b19ce 100644 --- a/Makefile +++ b/Makefile @@ -52,7 +52,7 @@ EXTRA_OBJS = |