diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-08-17 05:53:33 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-08-17 05:53:33 +0200 |
| commit | 16229d80d577d320a600b32f67f4767d763dfc4d (patch) | |
| tree | 1cf05144eb5601c40924e1ba84b50fa1d0a28692 /src/grt | |
| parent | 55112f70bfffd79e97a68f6663131ad7405c3a95 (diff) | |
| download | ghdl-16229d80d577d320a600b32f67f4767d763dfc4d.tar.gz ghdl-16229d80d577d320a600b32f67f4767d763dfc4d.tar.bz2 ghdl-16229d80d577d320a600b32f67f4767d763dfc4d.zip | |
travis: remove script deploy, adjust fold.
Diffstat (limited to 'src/grt')
0 files changed, 0 insertions, 0 deletions