diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 21:10:55 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-06 07:30:46 +0100 |
commit | b754ff08ece03c21827cb8564fc367d9a8a66305 (patch) | |
tree | 37c3e4d5225948d9b924079459d523f5a84adf10 /dist/gcc | |
parent | 00e81d8df05bc8402854a00b770eda4e3579ebcd (diff) | |
download | ghdl-b754ff08ece03c21827cb8564fc367d9a8a66305.tar.gz ghdl-b754ff08ece03c21827cb8564fc367d9a8a66305.tar.bz2 ghdl-b754ff08ece03c21827cb8564fc367d9a8a66305.zip |
doc: add header to index
Diffstat (limited to 'dist/gcc')
0 files changed, 0 insertions, 0 deletions