diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2022-06-12 12:11:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-12 12:11:27 +0200 |
| commit | 129082285a5fd0a33fffa328760b906f98d889ef (patch) | |
| tree | 50604b1f5c52b5740291176aaf9f2eccc8ed4907 /.github | |
| parent | 7a22d9280119b3e57332ddd855583b609e809ce7 (diff) | |
chore: delete language-request.md (#3013)
We have a dedicated tracking issue for this now.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/ISSUE_TEMPLATE/language-request.md | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/.github/ISSUE_TEMPLATE/language-request.md b/.github/ISSUE_TEMPLATE/language-request.md deleted file mode 100644 index 6182af22..00000000 --- a/.github/ISSUE_TEMPLATE/language-request.md +++ /dev/null @@ -1,12 +0,0 @@ ---- -name: Language request -about: Request for a new language to be supported -title: '' -labels: enhancement, good first issue, help wanted -assignees: '' - ---- - -**Language information** - -Please paste any useful information here ! |