Code

Feature/optimise travis run#1

Code

Merged

peterschrammel merged 2 commits intodiffblue:masterdiffblue/symex:masterfrom

zemanlx:feature/optimise-travis-runzemanlx/symex:feature/optimise-travis-runCopy head branch name to clipboard

Sep 18, 2017

Commits

Commits on Sep 15, 2017

• Make travis working

  

  Vlastimil Zeman

  committed
  498bdc0

  Copy full SHA for 498bdc0

• Force setup_submodules.sh use https

  

  Vlastimil Zeman

  committed
  1c42d9f

  Copy full SHA for 1c42d9f