From: Uwe Köcher Date: Tue, 6 Jul 2021 17:25:31 +0000 (+0200) Subject: Merge pull request #220 from gfcas/platform_files X-Git-Tag: v9.3.3-r1~1^2~16 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4151a8c1ae8eb7141e4ea3d466c78f2cc3ecfe4a;p=candi.git Merge pull request #220 from gfcas/platform_files Minor updates on programming style and platform file information --- 4151a8c1ae8eb7141e4ea3d466c78f2cc3ecfe4a