diff options
author | 2015-04-12 08:57:51 +0200 | |
---|---|---|
committer | 2015-04-12 09:23:10 +0200 | |
commit | 6fb2938bd44e89bf6944bb89e302ae51cb22b9a2 (patch) | |
tree | b84ff83981532ef11e08ca1fd00fb5d54f481094 /tools | |
parent | e23cffb7564c9e6e7b9c215dbaa91b7570e011b4 (diff) |
Getting a bit more laxist with the various GPR rules.
Also fixing WINSOCK check.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions