diff options
| author | Riccardo Spagni <ric@spagni.net> | 2019-09-25 15:45:55 -0400 |
|---|---|---|
| committer | Riccardo Spagni <ric@spagni.net> | 2019-09-25 15:45:56 -0400 |
| commit | 1b23c05299da72a0e7c3c7981887f9f5e55e2fac (patch) | |
| tree | 147b732415efa2cdf66c39aa1d3d4813d53b7519 /external | |
| parent | Merge pull request #5929 (diff) | |
| parent | Don't set ARCH_ID if it's already set (diff) | |
| download | monero-1b23c05299da72a0e7c3c7981887f9f5e55e2fac.tar.xz | |
Merge pull request #5930
fcfa6665 Don't set ARCH_ID if it's already set (Howard Chu)
Diffstat (limited to 'external')
0 files changed, 0 insertions, 0 deletions