doc: Move content from doc/8sync-new-manual.org to doc/8sync.texi.
[8sync.git] / 8sync /
drwxr-xr-x   ..
-rw-r--r-- 33674 actors.scm
-rw-r--r-- 23040 agenda.scm
-rw-r--r-- 1925 debug.scm
-rw-r--r-- 2249 repl.scm
drwxr-xr-x - systems