Branch: refs/heads/master
Home: https://github.com/Warzone2100/WMIT
Commit: 85540bce458038ea23e4f86f569ada957b880df7
https://github.com/Warzone2100/WMIT/commit/85540bce458038ea23e4f86f569ada957b880df7
Author: past-due <[email protected]>
Date: 2019-05-15 (Wed, 15 May 2019)
Changed paths:
M README.md
Log Message:
-----------
README.md: Add CI badges
_______________________________________________
Warzone2100-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits
