flip1995 b0d25de54a Use list instead of array for branch names ... This is the officially supported method		2020-02-12 11:03:39 +01:00
..
clippy.yml	Use list instead of array for branch names	2020-02-12 11:03:39 +01:00
clippy_bors.yml	Use list instead of array for branch names	2020-02-12 11:03:39 +01:00
clippy_dev.yml	Use list instead of array for branch names	2020-02-12 11:03:39 +01:00
deploy.yml	Use list instead of array for branch names	2020-02-12 11:03:39 +01:00
remark.yml	Use list instead of array for branch names	2020-02-12 11:03:39 +01:00