Branch: refs/heads/master
Home: https://github.com/Warzone2100/warzone2100
Commit: e5addbb99b88b98bc0616244b727329df7da626e
https://github.com/Warzone2100/warzone2100/commit/e5addbb99b88b98bc0616244b727329df7da626e
Author: past-due <[email protected]>
Date: 2020-05-08 (Fri, 08 May 2020)
Changed paths:
M src/3rdparty/propertymatcher.cpp
M src/3rdparty/propertymatcher.h
Log Message:
-----------
Update PropertyMatcher
_______________________________________________
Warzone2100-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits
