From e2dfb7f4ca0a0cb270c36503cc291e3c5007ec73 Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Fri, 31 Jan 2014 23:40:29 -0200 Subject: * manual/platform.texi: Document MTASC-safety properties. --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 277c455c9b..4ed7d151ea 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-01-31 Alexandre Oliva + + * manual/platform.texi: Document MTASC-safety properties. + 2014-01-31 Alexandre Oliva * manual/pipe.texi: Document MTASC-safety properties. -- cgit v1.2.3