patch 8.0.1822: make uninstall does not remove colors/tools

Problem: Make uninstall does not remove colors/tools. Solution: Add a line to delete the tools directory. (Kazunobu Kuriyama)
2018-05-12 21:05:45 +02:00
parent 2bc799579d
commit ee62f9fa74
2 changed files with 3 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

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