diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-05-04 18:22:14 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-05-04 18:22:14 +0200 |
commit | f001da00000592ce1c1b8894d4ca90bb8d1542a5 (patch) | |
tree | 6b72e2862c5b12d5e66824edd08cd456e611470a /debian/files | |
parent | 7f5dccbe5fee224ecfeceec6e206cca67ad58452 (diff) |
Refresh symbols file
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 b94e36b..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -libonig_6.8.1-2_source.buildinfo libs extra |