From: Peter Munch Date: Sat, 12 Sep 2020 12:51:17 +0000 (+0200) Subject: Merge pull request #10908 from tjhei/doc_cell_neighbor_index X-Git-Tag: v9.3.0-rc1~1126 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6438ff21c195153601c8f07cd72e3d5f39609c4b;p=dealii.git Merge pull request #10908 from tjhei/doc_cell_neighbor_index improve documentation and arg naming of cell neighbor*() --- 6438ff21c195153601c8f07cd72e3d5f39609c4b