projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6db55ee) | patch
Update bug_report.md
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 4 Aug 2021 19:01:08 +0000 (12:01 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 19:01:08 +0000 (12:01 -0700)
commit7f14a11349dae074b4f307488d0289e2fd7043e9
tree055fecf3f5ec83415ce1992f8fc2d115a3e34012tree
parent6db55eeefaf15f8aa1c08a73ad2a589da443cdc0commit | diff
Update bug_report.md
.github/ISSUE_TEMPLATE/bug_report.md diff | blob | history