diff options
author | nosami <jasonimison@gmail.com> | 2015-12-15 18:28:56 +0300 |
---|---|---|
committer | nosami <jasonimison@gmail.com> | 2015-12-15 18:29:28 +0300 |
commit | 88d4d1ecb97f1851f46e9f20409a9b1f582c695b (patch) | |
tree | d77525a22f4feef5f99a07b152950b131d9099e5 /main/src/addins/WindowsPlatform | |
parent | 0b0e7d6fbfd2aa466444277b5694ff8da3ee9562 (diff) |
Revert "bump fsharpbinding - replace GuiDispatch with Runtime.RunInMainThread"
This reverts commit 5dd4015a02e72f2f9c2f2fb34f69c0d24adcef9a.
Diffstat (limited to 'main/src/addins/WindowsPlatform')
0 files changed, 0 insertions, 0 deletions