diff options
Diffstat (limited to 'doc/posix-headers/semaphore.texi')
| -rw-r--r-- | doc/posix-headers/semaphore.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/posix-headers/semaphore.texi b/doc/posix-headers/semaphore.texi index e678780df0..ac997de05f 100644 --- a/doc/posix-headers/semaphore.texi +++ b/doc/posix-headers/semaphore.texi @@ -13,5 +13,5 @@ Portability problems not fixed by Gnulib: @itemize @item This header file is missing on some platforms: -mingw, BeOS. +Minix 3.1.8, mingw, BeOS. @end itemize |