diff options
author | Vsevolod Kukol <sevoku@microsoft.com> | 2019-08-07 16:28:08 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-07 16:28:08 +0300 |
commit | b6e403e5402c9696e27fb23a494c5e4596281696 (patch) | |
tree | 7e5130f4e37583132ac8a93440dd5855a2035e83 /main/src/core/MonoDevelop.Core | |
parent | 269dc3ea13f392e30d42c1982e023cfb81c10ffd (diff) | |
parent | d0008adf199d865e0376a2c5fe04347e74973522 (diff) |
Merge pull request #8237 from mono/fix-725899
[mdtool] Call terminate when ending
Diffstat (limited to 'main/src/core/MonoDevelop.Core')
0 files changed, 0 insertions, 0 deletions