diff options
| -rw-r--r-- | .travis.yml.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/.travis.yml.patch b/.travis.yml.patch deleted file mode 100644 index 9e6e46af87..0000000000 --- a/.travis.yml.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- .travis.yml.orig 2017-11-08 14:23:22.036394000 +0100 -+++ .travis.yml 2017-11-08 15:26:19.264520000 +0100 -@@ -37,7 +37,7 @@ - - script: - - make xref -- - make tests -+ - make ct-fast - - after_failure: - - | |