Martin Scheidt 25e66b6e79 fixed wrong tex live profile		2022-03-23 22:54:33 +01:00
..
tex	added fall back if development package is not installed	2022-03-11 11:46:59 +01:00
workflows	fixed wrong tex live profile	2022-03-23 22:54:33 +01:00