lukaseder 612a5827fc [#5936] Ignore strategy/name when strategy/matchers is present, in code generator		2017-03-02 21:37:39 +01:00
..
main	[#5936] Ignore strategy/name when strategy/matchers is present, in code generator	2017-03-02 21:37:39 +01:00