From deb90462f07092e30d19893cbdcbc61e2ceacfe7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sun, 20 Nov 2016 08:48:00 +0100 Subject: New debian/patches/0700-getopt_mixed.patch --- debian/files | 1 + 1 file changed, 1 insertion(+) create mode 100644 debian/files (limited to 'debian/files') diff --git a/debian/files b/debian/files new file mode 100644 index 0000000..8c3a88c --- /dev/null +++ b/debian/files @@ -0,0 +1 @@ +cil_0.07.00-11_20161120T073245z-f90fd46f.buildinfo perl extra -- cgit v1.2.3