From de55fdf4b562b13e19b6d0c1530100d3e9fcb595 Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Sat, 1 Feb 2014 03:50:11 -0200 Subject: * manual/filesys.texi: Document MTASC-safety properties. --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 34c86cb..74e6fa5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2014-02-01 Alexandre Oliva + * manual/filesys.texi: Document MTASC-safety properties. + +2014-02-01 Alexandre Oliva + * manual/errno.texi: Document MTASC-safety properties. 2014-02-01 Alexandre Oliva -- cgit v1.1