Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FFmpeg/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClément Bœsch <ubitux@gmail.com>2011-12-17 19:46:56 +0400
committerClément Bœsch <ubitux@gmail.com>2011-12-17 19:46:56 +0400
commit6aeba3fd6bddd57cc7f46bd6038ef98f7f22e112 (patch)
tree5f246ea06cf9a0c0701ec634481b980f814587f6 /doc/fate.texi
parent83b46713f0941f468f20a149be206db1f78eb944 (diff)
doc: fix "Unknown command `fate'" warning.
Diffstat (limited to 'doc/fate.texi')
-rw-r--r--doc/fate.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/fate.texi b/doc/fate.texi
index 297c0e2ec4..ad7faf415c 100644
--- a/doc/fate.texi
+++ b/doc/fate.texi
@@ -105,7 +105,7 @@ slot= # some unique identifier
repo=git://source.ffmpeg.org/ffmpeg.git # the source repository
samples=/path/to/fate/samples
workdir= # directory in which to do all the work
-fate_recv="ssh -T fate@fate.ffmpeg.org" # command to submit report
+fate_recv="ssh -T fate@@fate.ffmpeg.org" # command to submit report
comment= # optional description
# the following are optional and map to configure options