| commit | ea84df8041dbbff95acb1db8532281679c5fbe5a | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Thu Nov 02 22:38:51 2017 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Thu Nov 02 22:38:51 2017 +0100 |
| tree | c4134f800f258200a48753eac34fb51a6da00c4d | |
| parent | 4c22a91d20cce4f28dd2852a13129b5a4cc691da [diff] [blame] |
patch 8.0.1255: duplicate badge README file Problem: duplicate badge README file. Solution: Remove one. (Dominique Pelle)
diff --git a/src/version.c b/src/version.c index 7c293ba..8cc9bba 100644 --- a/src/version.c +++ b/src/version.c
@@ -762,6 +762,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1255, +/**/ 1254, /**/ 1253,