diff options
| author | eine <6628437+eine@users.noreply.github.com> | 2020-03-01 20:53:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-01 20:53:18 +0100 |
| commit | 5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f (patch) | |
| tree | 7c1e496a1585401565accdbf59b4e16a84a5fd0e /doc | |
| parent | a423981be5f226cd70429169c484814b2fd64752 (diff) | |
| download | ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.tar.gz ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.tar.bz2 ghdl-5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f.zip | |
enable synth by default (#1102)
* enable synth by default
* ci: disable synth for the GPL builds
* deprecate Ubuntu 16, use Ubuntu 18 in Travis
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions