From: Wolfgang Bangerth Date: Mon, 14 Sep 2015 01:44:19 +0000 (-0500) Subject: Remove a duplicate entry. X-Git-Tag: v8.4.0-rc2~428^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F1596%2Fhead;p=dealii.git Remove a duplicate entry. --- diff --git a/doc/doxygen/options.dox.in b/doc/doxygen/options.dox.in index eb55665af1..076b75008c 100644 --- a/doc/doxygen/options.dox.in +++ b/doc/doxygen/options.dox.in @@ -176,7 +176,6 @@ PREDEFINED = DOXYGEN=1 \ DEAL_II_WITH_SLEPC=1 \ DEAL_II_WITH_THREADS=1 \ DEAL_II_WITH_TRILINOS=1 \ - DEAL_II_WITH_TRILINOS =1 \ DEAL_II_WITH_UMFPACK=1 \ DEAL_II_WITH_ZLIB=1 \ DEAL_II_NAMESPACE_OPEN= \