hibernate-orm/hibernate-core
Gavin cf9578a9e0 add some cross-refs to the Javadoc
so we can easily find where these settings ultimately come from
2022-11-13 11:42:46 +01:00
..
2022-11-13 11:42:46 +01:00