checkboxes turn into todo list, which isn't desired

This commit is contained in:
Quinn 2022-03-29 11:15:27 -04:00 committed by GitHub
parent e0492b2f72
commit 93a8d2ab87
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,9 +3,10 @@ name: Regarding the programming language
about: Interpreter, parser, syntax, semantics, and including distributions
labels: 'programming language'
---
- [ ] Is refactor
- [ ] Is new feature
- [ ] Concerns documentation
<!-- mark one with an x -->
- _ Is refactor
- _ Is new feature
- _ Concerns documentation
# Description of suggestion or shortcoming: