| commit | ab0a789808ecf8de8f0805ec332f69029897fdb5 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Fri Jul 19 23:15:12 2019 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri Jul 19 23:15:12 2019 +0200 |
| tree | b1236717c9a9add1bca033592ebad9e06ebfde58 | |
| parent | 06e6377009c5763639310fa3bf892dec27a63334 [diff] [blame] |
patch 8.1.1716: old style comments are wasting space Problem: Old style comments are wasting space Solution: Use new style comments in option header file.
diff --git a/src/version.c b/src/version.c index af9caa4..20fdb1e 100644 --- a/src/version.c +++ b/src/version.c
@@ -778,6 +778,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1716, +/**/ 1715, /**/ 1714,