[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. debian/1.1-1-13-g4ca51a1

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 661a1bd7f700666ef56d5ea6dac07dad59f784a9
Author: Ralf Treinen <rt at free.fr>
Date:   Sun Mar 22 21:23:22 2009 +0100

    remove bogus file

diff --git a/ceve-1.2.tar.gz b/ceve-1.2.tar.gz
deleted file mode 100644
index 41f36d4..0000000
Binary files a/ceve-1.2.tar.gz and /dev/null differ

-- 
ceve packaging