diff options
author | Matteo F. Vescovi <mfv@debian.org> | 2018-06-14 14:50:56 +0200 |
---|---|---|
committer | Matteo F. Vescovi <mfv@debian.org> | 2018-06-14 14:50:56 +0200 |
commit | e257906bb2923452d32d524ca6af0957d42ac1f7 (patch) | |
tree | 48b67a3ab886a49892efdfe3f3772153c087c285 | |
parent | 7f1777936a1835cad7463e85290cc225e4ec507c (diff) |
debian/files: file dropped
Gbp-Dch: Ignore
-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 d0170d2..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -fsm_0.2.1-1_source.buildinfo lisp optional |