Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Ungureanu <marius.ungureanu@xamarin.com>2019-08-28 15:28:09 +0300
committerGitHub <noreply@github.com>2019-08-28 15:28:09 +0300
commitfb6fdd744c6dc21b7bdd2b5aeb9f6adf331b89c2 (patch)
tree6c1473d59ced48c037b57dd3457d441710010a60 /main/external
parentb333d3f91eae88d7590ead2d9770cccc4db573bf (diff)
parent4a7608d2e8750935bdb836139034a158bbc4d4ec (diff)
Merge pull request #8532 from mono/fw-try-catch
[Ide] Prevent exceptions in project file watcher handlers from bringiā€¦
Diffstat (limited to 'main/external')
0 files changed, 0 insertions, 0 deletions