edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-08-16 19:30:32 +03:00
Code Issues Projects Releases Wiki Activity

Update issue templates

Browse Source
This commit is contained in:
Edwin Brady 2019-07-21 14:55:40 +01:00 committed by GitHub
parent 7f742caf3b
commit 6a0c77257e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/ISSUE_TEMPLATE/language-problem.md vendored
View File

@ -7,8 +7,7 @@ assignees: ''
---
Please attach complete source files that exhibit the issue in addition
to quoting from them here. The smaller the example the better!
If possible, please include complete self contained source files (for example by uploading to https://gist.github.com) that exhibit the issue in addition to quoting from them here. The smaller the example the better!
# Steps to Reproduce