diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-12-14 15:56:14 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-12-14 15:56:14 +0100 |
commit | 0d31d7cdc6ebdbaff868a8a03690afe1a8e8a4db (patch) | |
tree | 42e1a6f9b34cfcb4f2908d27506ebb78c1e36198 /debian/files | |
parent | 5ed7f9cf4e33468b3b75e057db461b30a81febe4 (diff) | |
parent | e18cb63b889697e54fe06be3eef8889b39f9fb4b (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'debian/files')
-rw-r--r-- | debian/files | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/files b/debian/files deleted file mode 100644 index 4cc8599..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -scons_3.0.0-2_source.buildinfo devel optional |