diff options
| author | erdgeist <erdgeist@erdgeist.org> | 2013-05-18 16:26:08 +0000 |
|---|---|---|
| committer | erdgeist <erdgeist@erdgeist.org> | 2013-05-18 16:26:08 +0000 |
| commit | ca52d77c09e2fa4e8274604c7e1397e78efc7537 (patch) | |
| tree | fff9bafb9756b54d2e7392445c15533031089dc5 /examples | |
| parent | e836630271343b14b3b3507b307b10e9b36ff08a (diff) | |
Fix a missing if. Also drop patch level suffixes when detecting host system version
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions