summaryrefslogtreecommitdiffstats
path: root/doc/user
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/.cvsignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore
index 277e42468f..1d44612097 100644
--- a/doc/user/.cvsignore
+++ b/doc/user/.cvsignore
@@ -22,6 +22,7 @@ c_user.vr
clock.texi
concepts.texi
conf.texi
+datatypes.texi
dpmem.texi
event.texi
fatal.texi