diff options
| author | Michael Niedermayer <michael@niedermayer.cc> | 2023-11-22 00:50:16 +0100 |
|---|---|---|
| committer | J. Dekker <jdek@itanimul.li> | 2023-11-22 10:21:50 +0100 |
| commit | 3c154e8579ca4c1d68d184b3d5e77921fd0d701e (patch) | |
| tree | 5dc02fcba6280c6b43e57c556ada40c8d539a07a | |
| parent | e8a49b1424d405441fb23c2850274a84e95bd892 (diff) | |
| download | ffmpeg-3c154e8579ca4c1d68d184b3d5e77921fd0d701e.tar.gz | |
doc/git-howto: use less weird username for git URL
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
Signed-off-by: J. Dekker <jdek@itanimul.li>
| -rw-r--r-- | doc/git-howto.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/git-howto.texi b/doc/git-howto.texi index f4e2f2ec23..075b188abe 100644 --- a/doc/git-howto.texi +++ b/doc/git-howto.texi @@ -66,7 +66,7 @@ This will put the FFmpeg sources into the directory @var{<target>} and let you push back your changes to the remote repository. @example -git clone gil@@ffmpeg.org:ffmpeg-web <target> +git clone git@@ffmpeg.org:ffmpeg-web <target> @end example This will put the source of the FFmpeg website into the directory |