agenda: Rename start-agenda to run-agenda.
[8sync.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 30112 8sync-new-manual.org
-rw-r--r-- 8230 8sync.texi
-rw-r--r-- 23432 fdl.texi