From 004ebe50371a63bbe267c7e882ffbb4c8d9bd9d9 Mon Sep 17 00:00:00 2001
From: Bertrik Sikken <bertrik@sikken.nl>
Date: Sun, 13 Aug 2017 15:07:54 +0200
Subject: [PATCH] Add tools directory.

---
 tools/readme.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/readme.txt

diff --git a/tools/readme.txt b/tools/readme.txt
new file mode 100644
index 0000000..0891b48
--- /dev/null
+++ b/tools/readme.txt
@@ -0,0 +1 @@
+Place a JDK here, and refer to it in the ../env.bat file