flip1995 ef896faa01 Fix deploy script for beta deployment ... Since the beta/ directory already exists, we can't copy the complete master dir		2020-07-16 13:44:58 +02:00
..
ISSUE_TEMPLATE	fix phrase in new_lint issue template	2020-07-11 23:42:56 +02:00
workflows	Disable chrono integration test	2020-06-30 16:19:42 +02:00
deploy.sh	Fix deploy script for beta deployment	2020-07-16 13:44:58 +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