Stephane Nicoll ce2346b087 Reintroduce endpoints.metrics.filter.enabled ... Commit 8c14009 removed the endpoints.metrics.filter.enabled property so that endpoints.metrics.enabled is used for both disabling the endpoint and the servlet filter that records interactions. This was an unfortunate decision as it was no longer possible to only disable the servlet filter. The endpoints.metrics.filter.enabled property has therefore been restored. Closes gh-4365		2015-12-10 15:37:10 +01:00
..
asciidoc	Reintroduce endpoints.metrics.filter.enabled	2015-12-10 15:37:10 +01:00
docbook	Don't set text color of <code> elements when they're beneath an <a>	2015-07-23 12:06:02 +01:00
groovy	Improve formatting of generated doc tables	2014-06-09 20:03:17 -07:00
javadoc
xslt	Improve formatting of generated doc tables	2014-06-09 20:03:17 -07:00