Merge "Log an error if there are two resources with the same GUID."
[simantics/platform.git] / ci.xml
2018-03-20 Tuukka LehtonenIncluded ANT build file to generate buildinfo.properties