From: Matthias Maier Date: Wed, 9 Sep 2015 18:20:21 +0000 (-0500) Subject: Merge pull request #1562 from tamiko/fix_table_indices X-Git-Tag: v8.4.0-rc2~451 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17a7d73b4efc915a533a697227e938d1a235f249;p=dealii.git Merge pull request #1562 from tamiko/fix_table_indices TableIndices: Cleanup --- 17a7d73b4efc915a533a697227e938d1a235f249