Mark Rousskov 5b287f6ce1 Set shell for github actions CI		2020-07-16 13:53:02 -04:00
..
ISSUE_TEMPLATE	Clarify when to use the tracking issue template	2020-04-18 21:07:28 +02:00
workflows	Set shell for github actions CI	2020-07-16 13:53:02 -04:00