patch 8.1.1793: mixed comment style in globals

Problem: Mixed comment style in globals. Solution: Use // comments where appropriate.
2019-08-02 22:08:25 +02:00
parent dd00035cb5
commit 1ccaa35abf
2 changed files with 413 additions and 410 deletions
--- a/src/globals.h
+++ b/src/globals.h
--- a/src/version.c
+++ b/src/version.c
@@ -773,6 +773,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1793,
 /**/
    1792,
 /**/