diff options
| author | eine <6628437+eine@users.noreply.github.com> | 2020-03-02 07:36:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-02 07:36:52 +0100 |
| commit | a15bec5d6628a05cbfa5f78a46f48ac55e8be52a (patch) | |
| tree | 006c1ee5a33717a1ede99955fe1369a0905785ce /doc | |
| parent | 5cf513ac1a4f6ef61ee8c4312e3567ab2a49e96f (diff) | |
| download | ghdl-a15bec5d6628a05cbfa5f78a46f48ac55e8be52a.tar.gz ghdl-a15bec5d6628a05cbfa5f78a46f48ac55e8be52a.tar.bz2 ghdl-a15bec5d6628a05cbfa5f78a46f48ac55e8be52a.zip | |
ci: minor style change in push workflow (#1147)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions