diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-10-23 20:50:55 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-10-23 20:50:55 +0200 |
| commit | 25aa43339b6e297325ed67c2192cb9bc398cff39 (patch) | |
| tree | 9a690a19121b034408b1cff351bc26123d75c938 /.github | |
| parent | 094cd90b2220d0f7c3e4264e29d0e3dee4c6c097 (diff) | |
| download | ghdl-25aa43339b6e297325ed67c2192cb9bc398cff39.tar.gz ghdl-25aa43339b6e297325ed67c2192cb9bc398cff39.tar.bz2 ghdl-25aa43339b6e297325ed67c2192cb9bc398cff39.zip | |
trans: avoid translation of coverage report twice.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions