checkstyle.xml: tweak a comment

stephengold · stephengold · commit 4f112b8de1dd · 2025-10-12T17:20:46.000-07:00
diff --git a/config/checkstyle/checkstyle.xml b/config/checkstyle/checkstyle.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE module PUBLIC
     "-//Checkstyle//DTD Checkstyle Configuration 1.3//EN"
     "https://checkstyle.org/dtds/configuration_1_3.dtd">
-<!-- Checkstyle configuration for the Minie project. -->
+<!-- Checkstyle configuration for the Minie project -->
 
 <module name="Checker">
     <property name="charset" value="UTF-8"/>
