Marc Cornellà df56d1ee1f Rename GitHub Action to CI		2020-02-04 13:02:20 +01:00
..
ISSUE_TEMPLATE	meta: remove automatic bug label on bug reports	2019-10-15 22:56:45 +02:00
workflows	Rename GitHub Action to CI	2020-02-04 13:02:20 +01:00