diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2022-12-24 11:06:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-24 11:06:07 +0100 |
| commit | 5bca94f83b0d44297f943ff0d0237ec216fc29e9 (patch) | |
| tree | 1b045b05c55baeb2676cdbb0dcb00393c24557db /src/logging.ads | |
| parent | 26bb3c572eaffafafd8de8ef09b8acc34f91656f (diff) | |
| parent | 08a338e9568c333929c6863be60580619e3e77ff (diff) | |
| download | ghdl-5bca94f83b0d44297f943ff0d0237ec216fc29e9.tar.gz ghdl-5bca94f83b0d44297f943ff0d0237ec216fc29e9.tar.bz2 ghdl-5bca94f83b0d44297f943ff0d0237ec216fc29e9.zip | |
Merge pull request #2281 from Paebbels/paebbels/encoding
Configurable encoding for pyGHDL
Diffstat (limited to 'src/logging.ads')
0 files changed, 0 insertions, 0 deletions