diff options
| author | nyanpasu64 <nyanpasu64@tuta.io> | 2020-06-06 17:13:43 +0300 |
|---|---|---|
| committer | onqtam <vik.kirilov@gmail.com> | 2020-06-27 09:59:06 +0300 |
| commit | 7cccff52b0f997f9f289732ab02dafafdeb6de41 (patch) | |
| tree | e3d57c25d4afb5bfa3f772747087b54934c3c8a0 /.github | |
| parent | d5aa2bfb8f00b6260296a754af3a3a98d93f7b67 (diff) | |
Fix issue template to mention doctest instead of Catch (#380)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/issue_template.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/issue_template.md b/.github/issue_template.md index 11a7dd18..b4639880 100644 --- a/.github/issue_template.md +++ b/.github/issue_template.md @@ -13,7 +13,7 @@ want it. This is only relevant for bug reports, but if you do have one, please provide a minimal set of steps to reproduce the problem. -Usually this means providing a small and self-contained code using Catch +Usually this means providing a small and self-contained code using doctest and specifying compiler flags/tools used if relevant. --> |