diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-19 13:09:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-19 13:09:25 +0200 |
| commit | df202127e3096c7e8b5188c4d29f38b03cae1658 (patch) | |
| tree | 7aa338b6b9ff228fe681fe79883b2e76231128fd /platform/server/detect.py | |
| parent | b9f944ed5c68f6b2d23866cd718510596080749c (diff) | |
| parent | 449571b6cd48083fb34a4f7aebe6758cd527afc9 (diff) | |
Merge pull request #5281 from J08nY/useless-preprocessor
Fix #5263: Useless preprocessor condition
Diffstat (limited to 'platform/server/detect.py')
0 files changed, 0 insertions, 0 deletions