diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-02-07 17:36:10 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-02-07 17:36:10 +0100 |
commit | 5638527781e1d8cd916cd28f9d375eef7b5d820b (patch) | |
tree | 1db4b788c3ee6cbd932df872166aee8e3f320d5b /debian/source/format | |
parent | 55c7181126aa7defce38c9b82872d14223d4c1dd (diff) |
Delete upstream debian directory, a precompiled binary without source,
and some stray backup files.
Diffstat (limited to 'debian/source/format')
-rw-r--r-- | debian/source/format | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/format b/debian/source/format deleted file mode 100644 index 163aaf8d..00000000 --- a/debian/source/format +++ /dev/null @@ -1 +0,0 @@ -3.0 (quilt) |