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 /ChangeLog | |
| parent | 433c45a2470c5abbd8dd145c7d9fc29553a83525 (diff) | |
* manual/setjmp.texi: Document MTASC-safety properties.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ 2014-01-31 Alexandre Oliva <aoliva@redhat.com> + * manual/setjmp.texi: Document MTASC-safety properties. + +2014-01-31 Alexandre Oliva <aoliva@redhat.com> + * manual/search.texi: Document MTASC-safety properties. 2014-01-31 Alexandre Oliva <aoliva@redhat.com> |