From e1e0f0e546095bcef6918aa25032cff383448892 Mon Sep 17 00:00:00 2001
From: brutzman <brutzman@DESKTOP-2S09UKA>
Date: Wed, 2 Oct 2019 09:51:05 -0700
Subject: [PATCH] cosmetic
---
developers.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/developers.html b/developers.html
index 4f914f745b..24e66f5c12 100644
--- a/developers.html
+++ b/developers.html
@@ -810,7 +810,7 @@ Note that the -d switch is necessary for domain users.
<ul>
<li>
Download and install the latest
- <a href="https://jdk.java.net" target="_blank">OpenJDK Java Development Kit (JDK)</a>.
+ <a href="https://jdk.java.net" target="_blank">OpenJDK Java Development Kit (JDK)</a>
or
<a href="https://www.oracle.com/technetwork/java/javase/downloads/index.html" target="_blank">Java Development Kit (JDK)</a>.
These installations also include the
--
GitLab