diff options
author | Sandy Armstrong <sandy@xamarin.com> | 2019-10-22 17:22:33 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-22 17:22:33 +0300 |
commit | e319e576b0400f0a3bc5bb503f1ecd9ae17eac41 (patch) | |
tree | e8084307b359f64e0257e688fb23f001ee6de8ee /main/external | |
parent | 565505623c3cc85d8e88cd535bc65c72066a042c (diff) | |
parent | ed9b37390e2a27be892538125d70065d045784b4 (diff) |
Merge pull request #8996 from mono/pr-sandy-remove-refactoring-essentials
Remove RefactoringEssentials
Diffstat (limited to 'main/external')
m--------- | main/external/RefactoringEssentials | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/RefactoringEssentials b/main/external/RefactoringEssentials deleted file mode 160000 -Subproject a2e8503ee2518a58fbe7a4fb00b3f5e72fa60d9 |