[Pkg-ocaml-maint-commits] [easy-format] 02/08: Remove empty debian/patches

Stéphane Glondu glondu at moszumanska.debian.org
Tue Jan 26 15:12:31 UTC 2016


This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository easy-format.

commit 11d5496a7dddaf7d237609f309a36b244eb4a5ff
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jan 26 16:00:42 2016 +0100

    Remove empty debian/patches
---
 debian/patches/series | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index e69de29..0000000

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/easy-format.git



More information about the Pkg-ocaml-maint-commits mailing list