Merge pull request #5714 from alexischr/update_bockbuild
[mono.git] / mcs / build / profiles / monodroid_tools.make
2017-10-05 Alexander KöplingerAdd new profile for monodroid tools (#5699)