lukaseder 80f59e17ad [#6072] Add code generation flag to configure whether generated Records should implement Record[N]		2017-09-08 17:10:19 +02:00
..
main	[#6072] Add code generation flag to configure whether generated Records should implement Record[N]	2017-09-08 17:10:19 +02:00