diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-30 10:38:25 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-03-30 10:38:25 +0200 |
commit | 36287ef1d6a6b93fcdda3e7ca5980c19d2856e81 (patch) | |
tree | ecbf664501c94406d2ca78d03c2b668c42d9811d /debian/files | |
parent | 6e0aea8e3f4f045890ac78233c6a66acdbd23b05 (diff) |
Switch from openjdk-8-jre to default-jre (Closes: #894355)
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 d209510..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -scons-doc_3.0.0+repack-1_source.buildinfo doc optional |