From d2330055e732dacc9423f54a271fdaa235515ad0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 2 Jun 2021 18:27:47 -0700
Subject: [PATCH] disable travis

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .travis.yml => contrib/.travis.yml | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .travis.yml => contrib/.travis.yml (100%)

diff --git a/.travis.yml b/contrib/.travis.yml
similarity index 100%
rename from .travis.yml
rename to contrib/.travis.yml