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 | |
| 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')
0 files changed, 0 insertions, 0 deletions