actors: Rename function deferred-reply -> message-deferred-reply
[8sync.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 8357 8sync.texi
-rw-r--r-- 23432 fdl.texi