Rename external/xamarin-android-tools to external/android-tools#1237

jonpryor wants to merge 1 commit into

maindotnet/java-interop:mainfrom

dev/jonp/jonp-rename-external-xamarin-android-toolsdotnet/java-interop:dev/jonp/jonp-rename-external-xamarin-android-toolsCopy head branch name to clipboard