2
## debian/patches/10_debian-branding.dpatch by <alex@personalfree.com>
4
## All lines beginning with `## DP:' are a description of the patch.
8
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
12
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
13
patch_opts="${patch_opts:--f --no-backup-if-mismatch}"
16
-patch) patch $patch_opts -p1 < $0;;
17
-unpatch) patch $patch_opts -p1 -R < $0;;
19
echo >&2 "`basename $0`: script expects -patch|-unpatch as argument"
26
--- mozilla/extensions/enigmail/ui/skin/classic/contents.rdf.orig 2004-06-22 21:45:30.000000000 +0000
27
+++ mozilla/extensions/enigmail/ui/skin/classic/contents.rdf 2004-06-22 21:48:15.000000000 +0000
33
+ <RDF:Description about="urn:mozilla:skin:classic/1.0:enigmail"
34
+ chrome:skinVersion="1.5"/>