Useless config is bad config. Kudos @eulerscheZahl
authorJBM <jbm@codingame.com>
Fri, 29 May 2020 20:33:41 +0000 (22:33 +0200)
committerJBM <jbm@codingame.com>
Fri, 29 May 2020 20:33:41 +0000 (22:33 +0200)
commitdcfdddd7a687b2dc2c7574b0e400ea2d02fe3198
treee753979465c7344f940cf894d638547a5e331f86
parent1b81f1485b013f0a008c6452c33b48e239ea79e8
Useless config is bad config.  Kudos @eulerscheZahl
config/config.ini