Robbie Gemmell e8074f713b NO-JIRA: use install on examples build otherwise it needs to download remote snapshot during javadoc build, which may not exist and so fails		2022-01-20 15:55:40 +00:00
..
workflows	NO-JIRA: use install on examples build otherwise it needs to download remote snapshot during javadoc build, which may not exist and so fails	2022-01-20 15:55:40 +00:00
maven-settings.xml	NO-JIRA: use the google mirror for maven central to spread load and help reduce sporadic CI failures	2021-08-23 12:35:39 +01:00