diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-22 12:10:35 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-22 12:10:35 +0100 |
| commit | 014c924630c38afcc402902ed712b54ff232d861 (patch) | |
| tree | 68cf7ee8ac5a89267f8c1a7d1b834030cf578a96 /PULL_REQUEST_TEMPLATE.md | |
| parent | 04fbea6e80e010ffc242cc13daed6279f5d5aadf (diff) | |
| download | ale-014c924630c38afcc402902ed712b54ff232d861.zip | |
Move GitHub files to the .github directory
Diffstat (limited to 'PULL_REQUEST_TEMPLATE.md')
| -rw-r--r-- | PULL_REQUEST_TEMPLATE.md | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/PULL_REQUEST_TEMPLATE.md b/PULL_REQUEST_TEMPLATE.md deleted file mode 100644 index 8e1b5c57..00000000 --- a/PULL_REQUEST_TEMPLATE.md +++ /dev/null @@ -1,8 +0,0 @@ -<!-- -Before creating a pull request, do the following. - -* Read the Contributing guide linked above first. -* Read the documentation that comes with ALE with `:help ale-development`. - -Have fun! ---> |