diff options
| author | Edu Garcia <28616+Arcnor@users.noreply.github.com> | 2021-02-02 11:07:55 +0000 |
|---|---|---|
| committer | eine <6628437+eine@users.noreply.github.com> | 2021-02-02 16:06:31 +0100 |
| commit | f43b05d1df16b6d8faf6ec18ed706b0973578d13 (patch) | |
| tree | 6672a2dad2f821178afb0147a3810b6e111b2f27 /Makefile.in | |
| parent | 4bf59f00c609d06b814eee88440d0f200872bb9a (diff) | |
| download | ghdl-f43b05d1df16b6d8faf6ec18ed706b0973578d13.tar.gz ghdl-f43b05d1df16b6d8faf6ec18ed706b0973578d13.tar.bz2 ghdl-f43b05d1df16b6d8faf6ec18ed706b0973578d13.zip | |
ci: enable gnat cache for macos
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions