diff options
| author | Rodrigo Moya <rodrigo.moya@xamarin.com> | 2019-03-01 00:18:02 +0300 |
|---|---|---|
| committer | Rodrigo Moya <rodrigo@gnome.org> | 2019-03-01 16:43:08 +0300 |
| commit | 7241eea44f954b8116bd8e8c0da01ace7d8f4e94 (patch) | |
| tree | 0072e675b7f77ff95af2d0d357b904080100cbf8 /main/external/mono-addins | |
| parent | 03e2c2ba761ee3c2803f7a04b54a576240b5e2b4 (diff) | |
Bump mono-addins
Diffstat (limited to 'main/external/mono-addins')
| m--------- | main/external/mono-addins | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/mono-addins b/main/external/mono-addins -Subproject b64582c8dcbe0e1aa9f65d89312b87122319994 +Subproject 4c98412e1fba75bb73af82b81f65ce86846caf3 |