From 71200296b83da5207e4b4e5c6f63811bd4e2a032 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Jan 2015 19:30:21 +0100 Subject: [PATCH] updated doc --- doc/intro.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/intro.txt b/doc/intro.txt index 0103a7d1..21783fc7 100644 --- a/doc/intro.txt +++ b/doc/intro.txt @@ -134,7 +134,10 @@ Univ {4 Others} -{!modules: CCFuture} +{!modules: +CCFuture +CCLock +} {2 Index}