[SCM] live-manual branch, debian, updated. debian/2.0.2-1-12-gfd20755

[Daniel Baumann]

The following commit has been merged in the debian branch:
commit f8da245e2d932670d525ed67c16ad9241029a795
Author: Daniel Baumann <daniel at debian.org>
Date:   Wed Feb 9 10:10:14 2011 +0100

    Switching to source format 3.0 (quilt).

diff --git a/debian/source/format b/debian/source/format
index d3827e7..163aaf8 100644
--- a/debian/source/format
+++ b/debian/source/format
@@ -1 +1 @@
-1.0
+3.0 (quilt)
diff --git a/debian/source/options b/debian/source/options
new file mode 100644
index 0000000..d053b65
--- /dev/null
+++ b/debian/source/options
@@ -0,0 +1,2 @@
+compression = gzip
+compression-level = 9

-- 
live-manual