Revert "'travis'" (accidental commit)

This reverts commit 41de57e902e89ca3dcb17dc265b0bc70ea880c2c.