Martin Scheidt 1119e991ad fixed different handling of egrep between mac and ubuntu		2022-02-14 18:56:21 +01:00
..
tex	modified release script for automated releases	2022-02-13 19:47:16 +01:00
workflows	fixed different handling of egrep between mac and ubuntu	2022-02-14 18:56:21 +01:00