Move some common functionality into utils module
commit30f49a11f18b58509d389e68ec2b96cb1a2ea8ba
authormalc <av1474@comtv.ru>
Sun, 17 Feb 2013 22:40:54 +0000 (18 02:40 +0400)
committermalc <av1474@comtv.ru>
Sun, 17 Feb 2013 22:40:54 +0000 (18 02:40 +0400)
tree4f2f1bef46a31e8e7da97c9fd178a5ae5679815c
parent4187d3529eaa57c700c42fc7605126905b4c2122
Move some common functionality into utils module
build.ml
build.sh
buildall.sh
main.ml
utils.ml [new file with mode: 0644]
wsi.ml
wsi.mli