Branch: refs/heads/master
Home: https://github.com/Warzone2100/warzone2100
Commit: 10101fc19838e67a5d7b8e82a3437df1752fe582
https://github.com/Warzone2100/warzone2100/commit/10101fc19838e67a5d7b8e82a3437df1752fe582
Author: past-due <[email protected]>
Date: 2018-05-24 (Thu, 24 May 2018)
Changed paths:
M lib/widget/tip.cpp
Log Message:
-----------
Fix tooltip debug output
**NOTE:** This service been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Warzone2100-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits
