Preserve some command line options when remote self executing
commit720c5bf3d47bbc94c06b6ba061dddf7b4e9a08d0
authormalc <av1474@comtv.ru>
Sun, 26 May 2013 20:14:20 +0000 (27 00:14 +0400)
committermalc <av1474@comtv.ru>
Sun, 26 May 2013 20:14:20 +0000 (27 00:14 +0400)
tree28d257e85be145d3900d3cd642025fa5a9f5e5d8
parentea7877e2dcaf572c5558160a11295c28ae38af4c
Preserve some command line options when remote self executing
main.ml