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:
authorLluis Sanchez <lluis@xamarin.com>2019-06-07 17:18:41 +0300
committerGitHub <noreply@github.com>2019-06-07 17:18:41 +0300
commitb19a7bf2d6a71057f0820de1c12b9a5faa7d9b53 (patch)
tree03b59bbf5ea3939d86295cd6bdeded8ee62bf008 /main/src/addins/MonoDevelop.PackageManagement/MonoDevelop.PackageManagement.Tests/MonoDevelop.PackageManagement.Tests.Helpers
parentc83b9c49e3ec599fead8317da39126102d4452d2 (diff)
parent0fc793f74f4d619daac3d4cfdecac811ebc6a325 (diff)
Merge pull request #7838 from mono/fix910879-new-editor-splitview
[Ide] Use regular Gtk.HPaned for split view with the new editor
Diffstat (limited to 'main/src/addins/MonoDevelop.PackageManagement/MonoDevelop.PackageManagement.Tests/MonoDevelop.PackageManagement.Tests.Helpers')
0 files changed, 0 insertions, 0 deletions