diff options
Diffstat (limited to 'doc/user/.cvsignore')
| -rw-r--r-- | doc/user/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore index dcfebec73e..8d40144ea7 100644 --- a/doc/user/.cvsignore +++ b/doc/user/.cvsignore @@ -51,6 +51,7 @@ rtemspie.pdf rtmon.texi schedule.texi sem.texi +semaphore_attributes.pdf signal.texi stackchk.texi stamp-vti |