diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2019-04-26 12:34:12 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-26 12:34:12 +0300 |
commit | d9d7eed60cb59740ba55c04bfe9c39ac57014c12 (patch) | |
tree | 74a75939df71fe76cac69cc995ddd70fec444821 | |
parent | 475b11ccbe0a7b37b43368ae71d321582e1b7d5d (diff) | |
parent | e83ed18106deafb1d899b65900bc9d25587ad73c (diff) |
Merge pull request #647 from xamarin/pr-sandy-editor-805-backportsmonodevelop-8.0.5.9
Editor backports for 8.0.5
m--------- | main/external/vs-editor-core | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/vs-editor-core b/main/external/vs-editor-core -Subproject 8235b848bfb7b0ab1d220f0e903859a4ff76dda +Subproject 40cbfa35c4427f2a37dbe2bf0538b3079c8d55d |