From 988b5680ac85c6dee65a627dca32417020743368 Mon Sep 17 00:00:00 2001 From: Henry Weller Date: Fri, 17 Jun 2016 18:59:09 +0100 Subject: [PATCH] bin/tools/doxyFilter.sed: Corrected --- bin/tools/doxyFilter.sed | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/tools/doxyFilter.sed b/bin/tools/doxyFilter.sed index a1a99ace2..3e6e921b1 100644 --- a/bin/tools/doxyFilter.sed +++ b/bin/tools/doxyFilter.sed @@ -172,8 +172,9 @@ s/<\/li>\n/<\/li> / s? *\([a-zA-Z0-9]*\.[a-zA-Z]*\)?
  • \1
  • ? } - s/.*\*\//\*\// +} + #------------------------------------------------------------------------------