lukaseder c5b515be79 [#7148] [#7158] Add public internal API for use by code generator (to work around Scala issues)		2018-02-12 13:36:10 +01:00
..
src/main	[#7148] [#7158] Add public internal API for use by code generator (to work around Scala issues)	2018-02-12 13:36:10 +01:00
.gitignore
LICENSE.txt	[#5754] Remove copyright (and dates) from file headers	2017-01-02 17:14:26 +01:00
pom.xml	Release 3.11.0-SNAPSHOT	2017-09-29 15:49:30 +02:00