Gavin 4c489eedbd add TIP about use of record types with 'select new'		2023-05-20 11:36:58 +02:00
..
src/main	add TIP about use of record types with 'select new'	2023-05-20 11:36:58 +02:00
documentation.gradle	integrate rouge source highlighter into adoc build	2023-05-16 20:16:38 +02:00
status.md	…