diff options
author | Alexandre Oliva <aoliva@redhat.com> | 2014-01-31 23:49:07 -0200 |
---|---|---|
committer | Alexandre Oliva <aoliva@redhat.com> | 2014-01-31 23:49:07 -0200 |
commit | 542210fbc5cad91c308cb3462245197b616d4338 (patch) | |
tree | b906573ef39a25ca4c5c3e12af856aa3d1196127 /gnulib | |
parent | 433c45a2470c5abbd8dd145c7d9fc29553a83525 (diff) |
* manual/setjmp.texi: Document MTASC-safety properties.
Diffstat (limited to 'gnulib')
0 files changed, 0 insertions, 0 deletions