patch 8.1.1627: header file contains mixed comment style

Problem:    Header file contains mixed comment style.
Solution:   Use // style comments.
This commit is contained in:
Bram Moolenaar
2019-07-04 16:05:14 +02:00
parent 5ca1ac373a
commit 6cb39f924a
2 changed files with 1204 additions and 1195 deletions

File diff suppressed because it is too large Load Diff

View File

@ -777,6 +777,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
1627,
/**/
1626,
/**/