Another use for substratis
commitd08fec45cbed605cc73c50bd4d79a3bab957932f
authormalc <moosotc@gmail.com>
Tue, 22 Nov 2016 16:32:33 +0000 (22 19:32 +0300)
committermalc <moosotc@gmail.com>
Tue, 22 Nov 2016 16:32:52 +0000 (22 19:32 +0300)
tree55890799780cdd6b321061b04707f68b6125fb75
parent64f5e53cb8bb97f05ecd339a584ac5271ea18d8f
Another use for substratis
main.ml