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