diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-04-10 10:44:39 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-04-10 10:44:39 +0200 |
| commit | 5071e39d5dd239577dae40782a7dc69033e8920c (patch) | |
| tree | 05c701abbc90ce5401be412ecce392cd6b695fae /python/xtools | |
| parent | bb75c67563d6dc8920507909779f394d6760dd81 (diff) | |
| download | ghdl-5071e39d5dd239577dae40782a7dc69033e8920c.tar.gz ghdl-5071e39d5dd239577dae40782a7dc69033e8920c.tar.bz2 ghdl-5071e39d5dd239577dae40782a7dc69033e8920c.zip | |
grt and ghdldrv: extract grt-exec.lst from grt.lst. For #640
Diffstat (limited to 'python/xtools')
0 files changed, 0 insertions, 0 deletions