Remove (now) pointless comments
commitcdcb47d1029d1d3fc34b8f5f1042f2636458a331
authormalc <moosotc@gmail.com>
Tue, 29 Nov 2016 12:05:48 +0000 (29 15:05 +0300)
committermalc <moosotc@gmail.com>
Tue, 29 Nov 2016 12:05:48 +0000 (29 15:05 +0300)
tree27ef1cf40e9d907b566cdecf4ab63ae9c992169b
parent727d3c0e0513b9158e0aa5707d565fa3d9a579fe
Remove (now) pointless comments
main.ml