diff options
| -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. --> |