blame | history | patch | commit | commitdiff
Normand Briere
2019-07-17 a5580a47d246c1272b10adba68070f6e13da5e41 
 Checker.java
....@@ -2,7 +2,7 @@
22 {
33     Checker()
44     {
5
-        this("Checker");
5
+        this("Overlay");
66     }
77     
88     Checker(String name)