From 8893293730280d9ea45fa23a277c18fc4c587a75 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sun, 22 Jul 2018 09:41:28 -0600 Subject: [PATCH] Use a better text to describe what we do. --- include/deal.II/grid/grid_tools.h | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/include/deal.II/grid/grid_tools.h b/include/deal.II/grid/grid_tools.h index b73d4de5de..f2da76b7ca 100644 --- a/include/deal.II/grid/grid_tools.h +++ b/include/deal.II/grid/grid_tools.h @@ -699,7 +699,8 @@ namespace GridTools * std::vector>>, * std::vector>> * @endcode - * The type is abbreviated above to improve readability of this page. + * The type is abbreviated in the online documentation to improve readability + * of this page. * * @author Giovanni Alzetta, 2017 */ @@ -776,7 +777,8 @@ namespace GridTools * std::vector>>, * std::vector>> * @endcode - * The type is abbreviated above to improve readability of this page. + * The type is abbreviated in the online documentation to improve readability + * of this page. * * @author Giovanni Alzetta, 2017-2018 */ @@ -1532,7 +1534,8 @@ namespace GridTools * std::map< unsigned int, unsigned int>, * std::map< unsigned int, std::vector>> * @endcode - * The type is abbreviated above to improve readability of this page. + * The type is abbreviated in the online documentation to improve readability + * of this page. * * @author Giovanni Alzetta, 2017 */ -- 2.39.5