diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2012-09-19 16:35:03 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2012-09-19 16:35:03 +0200 |
| commit | 35c74251ffcba187c2284d67b5bc425b057b0c18 (patch) | |
| tree | 5c3a6701049bc030cc574c8ce78a97edc684c6cd /debian/source/format | |
| parent | b932448df7914d70682b64987c5e82c246f83f19 (diff) | |
Delete debian directory.
Now that Colin Watson has taken over Debian packaging, I can get rid of
our own local poorly written debian/ directory.
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 163aaf8..0000000 --- a/debian/source/format +++ /dev/null @@ -1 +0,0 @@ -3.0 (quilt) |