Martin Scheidt 3c83ea03cd fixed 'Syntax error: redirection unexpected' for shell script		2022-02-14 17:49:43 +01:00
..
tex	modified release script for automated releases	2022-02-13 19:47:16 +01:00
workflows	fixed 'Syntax error: redirection unexpected' for shell script	2022-02-14 17:49:43 +01:00