diff options
| author | Alexandre Oliva <aoliva@redhat.com> | 2014-01-29 05:26:47 -0200 |
|---|---|---|
| committer | Alexandre Oliva <aoliva@redhat.com> | 2014-01-29 05:26:47 -0200 |
| commit | e567f2a0b4ca0350e3877e4199820dffc634d983 (patch) | |
| tree | 87aa5980df731f5c4d5b003eb93c0f3e8f675d39 /ChangeLog | |
| parent | b719dafd3cfe4d354aa7e6592424f71d699760f5 (diff) | |
* manual/conf.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-29 Alexandre Oliva <aoliva@redhat.com> + * manual/conf.texi: Document MTASC-safety properties. + +2014-01-29 Alexandre Oliva <aoliva@redhat.com> + * manual/arith.texi: Document MTASC-safety properties. 2014-01-29 Alexandre Oliva <aoliva@redhat.com> |