Lukas Eder 7d629bb3ef [jOOQ/jOOQ#13694] Remove pre 3.8 deprecated API and pre 3.8 documentation		2023-03-08 15:37:03 +01:00
..
src/main	[jOOQ/jOOQ#13694] Remove pre 3.8 deprecated API and pre 3.8 documentation	2023-03-08 15:37:03 +01:00
.gitignore
LICENSE.txt
NOTICE.txt
pom.xml	Release 3.19.0-SNAPSHOT	2023-03-08 13:41:09 +01:00