diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-11-20 08:48:00 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2016-11-20 08:48:00 +0100 |
| commit | deb90462f07092e30d19893cbdcbc61e2ceacfe7 (patch) | |
| tree | d1e14f7c89a0b207801557a0802b57caef4ea4ef /debian/files | |
| parent | 4419d024d38f0bc111032f02bb07cb8e4e3442f8 (diff) | |
New debian/patches/0700-getopt_mixed.patch
Diffstat (limited to 'debian/files')
| -rw-r--r-- | debian/files | 1 |
1 files changed, 1 insertions, 0 deletions
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 |