Use mv command to move files
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 17 Jul 2017 00:35:18 +0000 (01:35 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Mon, 17 Jul 2017 00:35:18 +0000 (01:35 +0100)
commit374d7b124f474ff8bf6b327fb63cb41860f2aef3
treed730c8052c014a77ab2366d60b2feacc0268f0be
parent31890f39222ffffff7a17343925a70c5f13df83b
Use mv command to move files

See #345
src/Util.hs