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:
authorJeremie Laval <jeremie.laval@gmail.com>2012-06-06 17:48:23 +0400
committerJeremie Laval <jeremie.laval@gmail.com>2012-06-07 15:04:43 +0400
commit3218c170e526d2863d65305aad28c15fb2b426d0 (patch)
tree83ca6b89753f0ccc974ae2c7223e33aad5ca5778 /main/external/mono-tools
parent3ac4c9dc20af57c9fed598174f71158d356feecf (diff)
[build] Bump mono-tools
Diffstat (limited to 'main/external/mono-tools')
m---------main/external/mono-tools0
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/mono-tools b/main/external/mono-tools
-Subproject 5a87f3762955838667a82b088b4dc69255c4cd0
+Subproject 9a40fe7dd60550d572d1f3787caffe2622054e7