diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-02-23 02:24:34 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-02-23 07:12:04 +0100 |
commit | 75204b10ffb1f57fd035d8f0c601618b30e4b81a (patch) | |
tree | 214a309f05f69eb2a1f34da5d79d5c1959cdba5e /src/grt/grt-vpi.ads | |
parent | d43cc2a62925d273147576b4a263dee1a051c74e (diff) | |
download | ghdl-75204b10ffb1f57fd035d8f0c601618b30e4b81a.tar.gz ghdl-75204b10ffb1f57fd035d8f0c601618b30e4b81a.tar.bz2 ghdl-75204b10ffb1f57fd035d8f0c601618b30e4b81a.zip |
rename travis-utils to utils; load ansi_color, add buildCmdOpts, travis_start and travis_finish
Diffstat (limited to 'src/grt/grt-vpi.ads')
0 files changed, 0 insertions, 0 deletions