diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-17 11:50:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-17 11:50:53 +0200 |
commit | edc3e6b0daf4acfeb3565f0f799d304d945e5a0a (patch) | |
tree | a423cc37009d6d712ca43f1532780e79d7f53d17 /modules/mono/config.py | |
parent | b0649d2718f48c812e29884c633a823b1cb78571 (diff) | |
parent | 6c74f3de6dbba53878d9ebe377a6c33ef2294afc (diff) | |
download | redot-engine-edc3e6b0daf4acfeb3565f0f799d304d945e5a0a.tar.gz |
Merge pull request #18967 from Valentactive/fix-mono-build-linux
fixes build error on Linux after its introduction in #18949
Diffstat (limited to 'modules/mono/config.py')
0 files changed, 0 insertions, 0 deletions