diff options
| author | cderrien <65495526+cderrien@users.noreply.github.com> | 2022-11-08 08:02:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-08 08:02:18 +0100 |
| commit | 640e4c13fc8bd1fd7a0bfddddf7c851b2b171135 (patch) | |
| tree | c81e3e920ac3b614b04649bdf11d3a22c9fa500d /src/synth/synth-errors.adb | |
| parent | ccee381c7e7a028e61ebfb03dc8e80047a1d6b54 (diff) | |
| download | ghdl-640e4c13fc8bd1fd7a0bfddddf7c851b2b171135.tar.gz ghdl-640e4c13fc8bd1fd7a0bfddddf7c851b2b171135.tar.bz2 ghdl-640e4c13fc8bd1fd7a0bfddddf7c851b2b171135.zip | |
Escape port name in dot output. (#2241)
Diffstat (limited to 'src/synth/synth-errors.adb')
0 files changed, 0 insertions, 0 deletions