diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-12-14 15:46:37 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-12-14 15:46:37 +0100 |
commit | 5dced0aa523a7598aed729f38b3fc142cb833779 (patch) | |
tree | 500b6de148354607ed9e2ba0383fa97edde6ead5 /runtime/x86_64/vararg.S | |
parent | 41ed905f57ec62162aac5be5bd5551b7b753e88d (diff) | |
download | compcert-5dced0aa523a7598aed729f38b3fc142cb833779.tar.gz compcert-5dced0aa523a7598aed729f38b3fc142cb833779.zip |
bug 20593, document new warning class in man-page
Diffstat (limited to 'runtime/x86_64/vararg.S')
0 files changed, 0 insertions, 0 deletions