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