Trim more stray whitespace
commit5c3978f965d859d9b27aa64ffd0bb95a83d80ccd
authormalc <moosotc@gmail.com>
Sat, 14 May 2016 20:29:33 +0000 (14 23:29 +0300)
committermalc <moosotc@gmail.com>
Sat, 14 May 2016 20:29:33 +0000 (14 23:29 +0300)
tree41bd432867ddfbfbd49cc49eb456c64540d203ec
parent2d89b9af2258fcb20360b8dcea3b1ee8f6901af6
Trim more stray whitespace
main.ml
wsi.ml