diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-06-04 03:57:42 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-06-04 13:39:08 +0200 |
| commit | 2223b28208687b1c6e969907365b2dbb34d6677d (patch) | |
| tree | a95aabf96c27284acf10451fca5d9cd45ddc14a9 /src/grt/grt-errors.adb | |
| parent | f32435e68c434138e84af286ec8206ebd42c238d (diff) | |
| download | ghdl-2223b28208687b1c6e969907365b2dbb34d6677d.tar.gz ghdl-2223b28208687b1c6e969907365b2dbb34d6677d.tar.bz2 ghdl-2223b28208687b1c6e969907365b2dbb34d6677d.zip | |
grt: do not export disp_process_name.
Diffstat (limited to 'src/grt/grt-errors.adb')
0 files changed, 0 insertions, 0 deletions