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:
authorJason Imison <nosami@users.noreply.github.com>2019-07-25 11:52:51 +0300
committerGitHub <noreply@github.com>2019-07-25 11:52:51 +0300
commit82107ab37be406c89d3652c1b7a2a27f7ca8710b (patch)
tree9ba602e5c9663fbe954a1b48676334cf7b1b58b2 /main/src/addins
parente80c7c880d57033c9546b97b363e80004f4a2186 (diff)
parentffa64bfa0e460472c661b3983f1e6ce57992cde0 (diff)
Merge pull request #8272 from mono/pr-sandy-fffffffffff
Revert vs-editor-api to 9559f1a to prevent build failure
Diffstat (limited to 'main/src/addins')
0 files changed, 0 insertions, 0 deletions