Skip to content

Commit 75417d9

Browse files
committed
patch 9.0.0001: Travis CI is no longer used
Problem: Travis CI is no longer used. Solution: Delete the Travis CI configuration. (Hugo Osvaldo Barrera, closes #10636)
1 parent eb49041 commit 75417d9

2 files changed

Lines changed: 2 additions & 288 deletions

File tree

.travis.yml

Lines changed: 0 additions & 288 deletions
This file was deleted.

src/version.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -735,6 +735,8 @@ static char *(features[]) =
735735

736736
static int included_patches[] =
737737
{ /* Add new patch number below this line */
738+
/**/
739+
1,
738740
/**/
739741
0
740742
};

0 commit comments

Comments
 (0)