diff options
author | Kirill Osenkov <github@osenkov.com> | 2019-01-14 03:57:50 +0300 |
---|---|---|
committer | Kirill Osenkov <github@osenkov.com> | 2019-01-14 03:57:50 +0300 |
commit | cf67a487479aef0ab78d88f33c7877b8a4dc3c8a (patch) | |
tree | 55aa8b9de7dc6d2b004df4aec0fc33619e66d6c8 /main/external/mono-addins | |
parent | 60ea5607f2bf8d4444ec2b288a11b7c20a481a09 (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 23313c56c1fcf3104b4f475bbea7994ea94f4f3 +Subproject f582e5e5bb26d3e00674cafdecec3d447e8d8f9 |