language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 05:31:11 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Delete impl_template.md

Browse source
This commit is contained in:
Cai Bingjun 2022-08-21 21:24:34 +08:00 • committed by GitHub
parent 9ad06d50e5
commit 8c7bfaba2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.github/PULL_REQUEST_TEMPLATE/impl_template.md vendored
View file

@ -1,5 +0,0 @@
Implements (some feature).
This is a brief description.
@mtshiba