* manual/process.texi: Document MTASC-safety properties.
authorAlexandre Oliva <aoliva@redhat.com>
Sat, 1 Feb 2014 01:44:19 +0000 (23:44 -0200)
committerAlexandre Oliva <aoliva@redhat.com>
Sat, 1 Feb 2014 01:44:19 +0000 (23:44 -0200)
commit19f5d29c355cb1d41e6c37803bc137cf6563e9ea
tree2442710be2288f3c566d44dd9f4885239c6e1d61
parente2dfb7f4ca0a0cb270c36503cc291e3c5007ec73
* manual/process.texi: Document MTASC-safety properties.
ChangeLog
manual/process.texi