Commit Graph

3 Commits

Author SHA1 Message Date
LCD 47
8393a3c7a2 Cosmetic cleanup. 2017-09-15 21:04:16 +03:00
LCD 47
dac07db617 Cleanup: shut up most vint warnings. 2015-03-25 18:44:34 +02:00
LCD 47
2a07c4acd9 New checker for SML: smlnj. 2015-02-23 15:49:38 +02:00