Code

add PATH caveats to cvc4.rb#8591

Code

Merged

tapeinosyne merged 1 commit intoHomebrew:masterHomebrew/homebrew-cask:masterfrom rolandwalker:cvc4_caveatsrolandwalker/homebrew-cask:cvc4_caveatsCopy head branch name to clipboardJan 2, 2015

+4

Commits

Commits on Jan 2, 2015

• add PATH caveats to cvc4.rb

  rolandwalker

  committed
  6795cc5

  Copy full SHA for 6795cc5