From: Timo Heister Date: Mon, 5 Jun 2017 09:54:02 +0000 (+0200) Subject: Merge pull request #30 from gassmoeller/fix_old_bash X-Git-Tag: v0.8.5~19 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d6eb493ee544770d2c7c6d27ebdc8d027c38db73;p=candi.git Merge pull request #30 from gassmoeller/fix_old_bash Use tr instead of bash specific command --- d6eb493ee544770d2c7c6d27ebdc8d027c38db73