diff options
| author | Erwin de Haan <EraYaN@users.noreply.github.com> | 2019-01-10 19:45:21 +0100 |
|---|---|---|
| committer | Erwin de Haan <EraYaN@users.noreply.github.com> | 2019-01-10 19:45:30 +0100 |
| commit | 399a079dd472a0ad424884eb48a0d9e471a95c70 (patch) | |
| tree | 43bd338b79f1243dbe7f4f07ca63f1b5363724fb /debian/source/format | |
| parent | 3d867c2c46cec39b669bb8647efef677f32b8a8d (diff) | |
Build scripts and build system consolidation.
Squashed commit.
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 d3827e75a..000000000 --- a/debian/source/format +++ /dev/null @@ -1 +0,0 @@ -1.0 |