zed/.github
2022-10-11 18:31:17 -04:00
..
workflows Use tag_name for Discord release message 2022-10-11 18:31:17 -04:00
pull_request_template.md Add pull request template 2022-07-11 09:41:49 -07:00