Andy Wilkinson b43827d626 Configure ping (formerly application) health indicator by default ...

This commit renames ApplicationHealthIndicator to PingHealthIndicator
and changes the auto-configuration so that it is now always configured
by default.

Closes gh-17926

2019-08-22 14:50:10 +01:00

..

src

Configure ping (formerly application) health indicator by default

2019-08-22 14:50:10 +01:00

pom.xml

Tighten up sourceDocumentExtensions used for single and multi-page docs

2019-07-19 14:55:10 +01:00