diff options
author | eine <6628437+eine@users.noreply.github.com> | 2020-11-21 09:56:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-21 09:56:18 +0100 |
commit | 7ed5f245b145bdbc98da183236100c2e3a0163a9 (patch) | |
tree | 8043ad07401a90e60c2918a5a0e734d22c1ecf61 /.readthedocs.yml | |
parent | e757839e4e9d277122e4f82889d562928c723b97 (diff) | |
download | ghdl-7ed5f245b145bdbc98da183236100c2e3a0163a9.tar.gz ghdl-7ed5f245b145bdbc98da183236100c2e3a0163a9.tar.bz2 ghdl-7ed5f245b145bdbc98da183236100c2e3a0163a9.zip |
win32: add fprintf to grt_save_backtrace (#1516)
Co-authored-by: eine <eine@users.noreply.github.com>
Diffstat (limited to '.readthedocs.yml')
0 files changed, 0 insertions, 0 deletions