diff options
author | Ibrahn Sahir <ibrahn.sahir@gmail.com> | 2018-10-30 12:38:55 +0000 |
---|---|---|
committer | Ibrahn Sahir <ibrahn.sahir@gmail.com> | 2018-10-30 12:38:55 +0000 |
commit | 9f172b634d97f51c3e2b81fb13f18ed588fd1047 (patch) | |
tree | aca5abd1c52ac6fca3c554fc5cc336525ef59678 /.gitignore | |
parent | bfd1f09ac515706e4c55335cf4be22676adefd6d (diff) |
Allow the server platform to build on linux again.
Fixed a logic error in platform/server/detect.py that prevented building
the server platform on linux.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions