diff options
| author | TingPing <tingping@tingping.se> | 2015-01-20 02:19:18 -0500 |
|---|---|---|
| committer | TingPing <tingping@tingping.se> | 2015-01-20 02:43:16 -0500 |
| commit | a838cd9c0742254fc58e8bed0300f860d6e39893 (patch) | |
| tree | 5cf4d3756a2e5e4f606706c5d8dea487ad157047 /win32/wdkpt/vs2012/Microsoft.Cpp.x64.WDK7.props | |
| parent | 02470dffa54d176cd2d0a144f2bc46d4790ef274 (diff) | |
servlist: Various changes
- Remove IRCNode - Replace Techmans with Techtronix - Remove unecessary ports - Consistently use round-robin over specific servers - Don't use mixed-case hostnames Closes #1244
Diffstat (limited to 'win32/wdkpt/vs2012/Microsoft.Cpp.x64.WDK7.props')
0 files changed, 0 insertions, 0 deletions