flip1995 11002c7f77 Use new template forms for issue templates ... GitHub has a new way to define issue templates. This gives an even more consistent formatting of our issues.		2021-11-30 17:19:48 +00:00
..
ISSUE_TEMPLATE	Use new template forms for issue templates	2021-11-30 17:19:48 +00:00
workflows	Run clippy_dev workflow on current rust-toolchain	2021-11-12 21:22:09 +00:00
deploy.sh	Fix deploy script	2021-10-21 18:00:57 +02:00
driver.sh	Merge remote-tracking branch 'upstream/master' into rustup	2020-10-31 09:33:40 +01:00
PULL_REQUEST_TEMPLATE.md	Update pull request template	2021-04-19 23:02:41 +09:00