Guillaume Nodet 9b12ccdeb0 Rename Type#getName() to getId() and improve javadoc (#1198)		2023-07-06 09:20:03 +02:00
..
src	Rename Type#getName() to getId() and improve javadoc (#1198)	2023-07-06 09:20:03 +02:00
lifecycle-executor.txt	Fix minor typos	2022-07-18 19:22:19 +02:00
plugin-manager.txt	Fix typos in code	2022-07-19 00:45:13 +02:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2023-06-24 10:52:55 +02:00