diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-12-30 10:09:40 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-12-30 10:09:40 +0100 |
| commit | 56dde6c446367f85882d288d7606015ace7f80ed (patch) | |
| tree | 940c18588d490a6ae9823c5775483ed626778012 /src/areapools.ads | |
| parent | 708cbe6c1ff75f5bccb09af043577b50982529b9 (diff) | |
| download | ghdl-56dde6c446367f85882d288d7606015ace7f80ed.tar.gz ghdl-56dde6c446367f85882d288d7606015ace7f80ed.tar.bz2 ghdl-56dde6c446367f85882d288d7606015ace7f80ed.zip | |
scripts: force use of python3
Diffstat (limited to 'src/areapools.ads')
0 files changed, 0 insertions, 0 deletions