From be18224f5e541dc8368199566123a1944768a91b Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sun, 1 May 2016 11:14:27 +0100 Subject: [PATCH] remove unused doxygen filter for exceptions --- doc/doxygen/scripts/filter | 3 --- 1 file changed, 3 deletions(-) diff --git a/doc/doxygen/scripts/filter b/doc/doxygen/scripts/filter index afddfc4e62..7780f549ff 100755 --- a/doc/doxygen/scripts/filter +++ b/doc/doxygen/scripts/filter @@ -54,9 +54,6 @@ s/(?