projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36f4f6b) | patch
Update issue templates
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 11 Feb 2020 17:36:01 +0000 (09:36 -0800)
committerGitHub <noreply@github.com>
Tue, 11 Feb 2020 17:36:01 +0000 (09:36 -0800)
commit31930926314011d25ee0836bc690d37f9d3d360f
tree54164e9b73e97a6fbcfe4e1d667362d4447fc36ftree
parent36f4f6b75bd13b7770e6113ed5c2f9b2b895e0bacommit | diff
Update issue templates
.github/ISSUE_TEMPLATE/bug_report.md [new file with mode: 0644] blob