From 2cc3615ce84dc87e9014e5ab9162448c87ec6f6d Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Fri, 31 Jan 2014 23:25:06 -0200 Subject: * manual/llio.texi: Document MTASC-safety properties. --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 0bb70a8722..7b9ec3751a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2014-01-31 Alexandre Oliva + + * manual/llio.texi: Document MTASC-safety properties. + 2014-01-31 Alexandre Oliva * manual/libdl.texi: New. -- cgit v1.2.1