diff options
| author | Tristan Gingold <tgingold@free.fr> | 2023-03-25 16:49:18 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2023-03-26 16:53:55 +0200 |
| commit | f846149c27804a2ce58bf6d2186e870a4d23791a (patch) | |
| tree | 26bfd199cb5f7fab107a24203828c658441433d2 /src/options.ads | |
| parent | c432c23196e6be7603ef9f1bafeca094104d35b9 (diff) | |
| download | ghdl-f846149c27804a2ce58bf6d2186e870a4d23791a.tar.gz ghdl-f846149c27804a2ce58bf6d2186e870a4d23791a.tar.bz2 ghdl-f846149c27804a2ce58bf6d2186e870a4d23791a.zip | |
sem_name_clean_1: also free names
Diffstat (limited to 'src/options.ads')
0 files changed, 0 insertions, 0 deletions