From 36287ef1d6a6b93fcdda3e7ca5980c19d2856e81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Fri, 30 Mar 2018 10:38:25 +0200 Subject: Switch from openjdk-8-jre to default-jre (Closes: #894355) --- debian/files | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/files (limited to 'debian/files') 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 -- cgit v1.2.3