From b0fe68c13b04af8c098d53ea999bba6b7395163d Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Wed, 16 Sep 2020 12:04:55 +0000 Subject: Documentation fixes, by flexibeast --- doc/ftrig.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'doc/ftrig.html') diff --git a/doc/ftrig.html b/doc/ftrig.html index 6d26eeb..c8f168d 100644 --- a/doc/ftrig.html +++ b/doc/ftrig.html @@ -73,7 +73,7 @@ it's not handling an event, and only wake up when needed. Of course, the problem of notification is that it's often more difficult to implement. Notification frameworks are generally more complex, involving lots of asynchronism; polling is widely used -because +because it's easy.

@@ -86,11 +86,11 @@ notify process A.