diff options
author | Bram Moolenaar <Bram@vim.org> | 2022-06-28 20:07:42 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2022-06-28 20:07:42 +0100 |
commit | 75417d960bd17a5b701cfb625b8864dacaf0cc39 (patch) | |
tree | f399354016cd2c4c517ed37d5063f8d5a9fe4c33 /src | |
parent | eb49041875118be5fe60f07750c7c86cb26dccef (diff) |
patch 9.0.0001: Travis CI is no longer usedv9.0.0001
Problem: Travis CI is no longer used.
Solution: Delete the Travis CI configuration. (Hugo Osvaldo Barrera,
closes #10636)
Diffstat (limited to 'src')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index fd753bca05..30abf3488d 100644 --- a/src/version.c +++ b/src/version.c @@ -736,6 +736,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1, +/**/ 0 }; |