| commit | 3d3cc89672f2a08362b7106f1063ebf2de5dd15a | |
| author | spiralvoice <spiralvoice> | |
| Sat, 17 Jul 2010 15:24:42 +0000 (17 15:24 +0000) | ||
| committer | spiralvoice <spiralvoice> | |
| Sat, 17 Jul 2010 15:24:42 +0000 (17 15:24 +0000) | ||
| tree | d0d98d614914f2d3c4f96aacdcfb72d09df5542b | treesnapshot (tar.gz zip) |
| parent | a015969e0d5b5c7f0399348ec7e0e96d1686b791 | commitdiff |
patch #7248
| distrib/ChangeLog | diffblobblamehistory | |
| src/networks/direct_connect/dcGlobals.ml | diffblobblamehistory | |
| src/networks/direct_connect/dcServers.ml | diffblobblamehistory |