projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84d4546) | patch
Update bug report template
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 10 Mar 2020 20:44:34 +0000 (13:44 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 20:44:34 +0000 (13:44 -0700)
commit03573865aaeaf434836d509724f5a8e8fc615fdd
treeac6d89605cd7e143697c21e67455e073e72cb445tree
parent84d4546e5a66cf37775b769e7456f0f4a86c4cf0commit | diff
Update bug report template
.github/ISSUE_TEMPLATE/bug_report.md diff | blob | history