Remove openjdk14, openjdk13

End of life. No longer provided on packages.debian.org
pull/1458/head
Simon Legner 4 years ago
parent 385dcfc15b
commit 1b927c7ab7

@ -45,24 +45,6 @@ module Docs
OLDFILTERS = ['openjdk/entries', 'openjdk/clean_html']
version '14' do
self.release = '14.0.2'
self.root_path = 'index.html'
html_filters.push OLDFILTERS
options[:container] = 'main'
end
version '13' do
self.release = '13.0.5'
self.root_path = 'index.html'
html_filters.push OLDFILTERS
options[:container] = 'main'
end
version '11' do
self.release = '11.0.9'
self.root_path = 'index.html'

Loading…
Cancel
Save