# HG changeset patch
# User wenzelm
# Date 1408560628 -7200
# Node ID 8179d1369567309685ddcbffba7fc7db7eeb5749
# Parent  beb4b7c0bb30e410879bb25055b95257547fc670
added jdk-8u20 (inactive);

diff -r beb4b7c0bb30 -r 8179d1369567 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Aug 20 17:30:43 2014 +0200
+++ b/Admin/components/components.sha1	Wed Aug 20 20:50:28 2014 +0200
@@ -34,6 +34,7 @@
 ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
 5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
+cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
 c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4  jdk-8u5.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz