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:
authormhutch <m.j.hutchinson@gmail.com>2016-03-18 21:01:18 +0300
committermhutch <m.j.hutchinson@gmail.com>2016-03-18 21:01:18 +0300
commitc4c3139a3c350cd8a320ccf2bb941b9f67c68715 (patch)
treebbd69de68eb6521bcadb6678fed8bbfda88e6e10 /main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs
parentb3869be4503765d819f1e6daf43587e5fb1d5909 (diff)
Revert "Bug 38784 - 'Run' does not respect the selected runtime"
This reverts commit 2983d5ecc26ac39e8d7e6dec77cccd6c2a47d51e.
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.OptionPanels/MonoRuntimePanel.cs')
0 files changed, 0 insertions, 0 deletions