flip1995 a0e9f9bd0d Merge commit '7ea7cd165ad6705603852771bf82cc2fd6560db5' into clippyup2		2020-05-28 15:45:24 +02:00
..
workflows	Merge commit '7ea7cd165ad6705603852771bf82cc2fd6560db5' into clippyup2	2020-05-28 15:45:24 +02:00
deploy.sh	Also deploy from the beta branch	2020-03-25 20:20:54 +01:00
driver.sh	Apply review comments	2020-02-12 09:34:28 +01:00
ISSUE_TEMPLATE.md
PULL_REQUEST_TEMPLATE.md	Deprecate util/dev in favor of cargo alias	2020-01-30 21:34:31 +01:00