Update doc string of w32notify-add-watch per discussions in bug #13540.
commitd8cd7742b31178d670a677debb851b961c0464da
authorEli Zaretskii <eliz@gnu.org>
Fri, 25 Jan 2013 09:39:47 +0000 (25 11:39 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 25 Jan 2013 09:39:47 +0000 (25 11:39 +0200)
treec77c00b353fe5dece961f8ea89807cf5adf448e2
parent266fee4f1e46807701f5d62cff7c33e04e4014f0
Update doc string of w32notify-add-watch per discussions in bug #13540.

 src/w32notify.c (Fw32notify_add_watch): Doc fix.
src/ChangeLog
src/w32notify.c