flip1995 c4c9453ccf Use defaults.run.shell instead of setting shell every time		2020-10-09 11:53:16 +02:00
..
ISSUE_TEMPLATE	fix phrase in new_lint issue template	2020-07-11 23:42:56 +02:00
workflows	Use defaults.run.shell instead of setting shell every time	2020-10-09 11:53:16 +02:00
deploy.sh	Track tag files, before checking for the diff	2020-07-16 14:42:13 +02:00
driver.sh	Merge commit 'c2c07fa9d095931eb5684a42942a7b573a0c5238' into clippyup	2020-06-23 17:05:22 +02:00
PULL_REQUEST_TEMPLATE.md	Merge commit 'c2c07fa9d095931eb5684a42942a7b573a0c5238' into clippyup	2020-06-23 17:05:22 +02:00