Code

Remove travis configuration files.#5533

Code

Merged

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:purge_travisNlightNFotis/cbmc:purge_travisCopy head branch name to clipboard

Oct 16, 2020

Commits

Commits on Oct 16, 2020

• Remove travis configuration files.

  Show description for ae4a6a2
  NlightNFotis

  committed
  ae4a6a2

  Copy full SHA for ae4a6a2