From b7d3bce82e92dd841ed4ae57b713c9f38e0888fe Mon Sep 17 00:00:00 2001
From: Henning Kiel <hkiel@users.noreply.github.com>
Date: Wed, 7 Dec 2022 23:10:50 +0100
Subject: [PATCH] renamed directory

---
 resources/build.properties                  | 4 ++--
 src/{template => javadoc}/tool/JavaDoc.java | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename src/{template => javadoc}/tool/JavaDoc.java (100%)

diff --git a/resources/build.properties b/resources/build.properties
index fee885f..6c159f2 100644
--- a/resources/build.properties
+++ b/resources/build.properties
@@ -134,12 +134,12 @@ source.repository=https://github.com/hkiel/JavaDoc.git
 # This is used to compare different versions of the same Tool, and check if an 
 # update is available.
 
-tool.version=1
+tool.version=2
 
 
 # The version as the user will see it. 
 
-tool.prettyVersion=1.0.0
+tool.prettyVersion=1.0.1
 
 
 # The min and max revision of Processing compatible with your Tool.
diff --git a/src/template/tool/JavaDoc.java b/src/javadoc/tool/JavaDoc.java
similarity index 100%
rename from src/template/tool/JavaDoc.java
rename to src/javadoc/tool/JavaDoc.java