diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-06 08:32:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-06 08:32:16 +0200 |
| commit | ba2c49531d23093cbc46bb390d58cf1e60bf79d0 (patch) | |
| tree | fb03cf05e4cd71630fcfd1b84a509f276b16cda0 /version.py | |
| parent | d938de67fff288bf7f0a92fd51a2e890a1b5f245 (diff) | |
| parent | 17e89c2c6634bc5533144192dc229f25b6cfd645 (diff) | |
Merge pull request #11871 from tagcup/fix_build
Fix mono enabled build
Diffstat (limited to 'version.py')
0 files changed, 0 insertions, 0 deletions