[Pkg-ocaml-maint-commits] [SCM] hlins packaging branch, master, updated. debian/0.39-16-17-g8cb6022

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e4cbc90830eec7470616d39ad3db0c8a3146cf74
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon Feb 8 20:10:50 2010 +0100

    remove cruft

diff --git a/debian/source/format~ b/debian/source/format~
deleted file mode 100644
index 87baf5e..0000000
--- a/debian/source/format~
+++ /dev/null
@@ -1 +0,0 @@
-i3.0 (quilt)

-- 
hlins packaging