diff options
author | eine <eine@users.noreply.github.com> | 2021-02-06 10:02:52 +0100 |
---|---|---|
committer | eine <eine@users.noreply.github.com> | 2021-02-06 10:14:14 +0100 |
commit | 4ab72fde3bae8372a4be773b48df45d08bf201d9 (patch) | |
tree | f59a658fad471377f61a55142be8003c2efc7201 /configure | |
parent | 7ada2cacc0b44f2fdf1d3a5ccc071c254ec56fd9 (diff) | |
download | ghdl-4ab72fde3bae8372a4be773b48df45d08bf201d9.tar.gz ghdl-4ab72fde3bae8372a4be773b48df45d08bf201d9.tar.bz2 ghdl-4ab72fde3bae8372a4be773b48df45d08bf201d9.zip |
ci/pyGHDL: fix git diff check
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions