diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-09 12:40:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-09 12:40:31 +0200 |
| commit | 321ae21d5fb0b4cef63b0515dcdee60766ae304f (patch) | |
| tree | 426d7c63e780975c97f69633656946e14bbdc037 /modules/mono/glue/glue_header.h | |
| parent | 1cb4fc1510586d94b8b26801df7fe618628949af (diff) | |
| parent | a6625221d27ed0fb0f7b1f2ee54661fc72b25099 (diff) | |
Merge pull request #11878 from endragor/gradle-repository-urls
Use additional repositories for gradle build dependencies too
[ci skip]
Diffstat (limited to 'modules/mono/glue/glue_header.h')
0 files changed, 0 insertions, 0 deletions