diff options
| author |   Oleg Pudeyev <oleg@bsdpower.com> | 2011-02-16 21:13:35 -0500 |
|---|---|---|
| committer | Oleg Pudeyev <oleg@bsdpower.com> | 2011-02-16 21:13:35 -0500 |
| commit | 5af3cfe9cae4a59478bff2581f8484657a0d5bc9 (patch) | |
| tree | 8d47c8ce87ab82eb37a99a06e054d0b98db2e7bf /git-tools/setup_github_network.php | |
| parent | [ticket/10044] Stop when failed to retrieve network/collaborators. (diff) | |
| download | phpbb-5af3cfe9cae4a59478bff2581f8484657a0d5bc9.tar.gz phpbb-5af3cfe9cae4a59478bff2581f8484657a0d5bc9.tar.bz2 phpbb-5af3cfe9cae4a59478bff2581f8484657a0d5bc9.zip | |
[ticket/10044] Updated invocation documentation.
PHPBB3-10044
Diffstat (limited to 'git-tools/setup_github_network.php')
| -rwxr-xr-x | git-tools/setup_github_network.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-tools/setup_github_network.php b/git-tools/setup_github_network.php index a3606575b2..e4e212eef6 100755 --- a/git-tools/setup_github_network.php +++ b/git-tools/setup_github_network.php @@ -15,7 +15,7 @@ function show_usage() echo "$filename adds repositories of a github network as remotes to a local git repository.\n"; echo "\n"; - echo "Usage: php $filename -s collaborators|organisation|contributors|network [OPTIONS]\n"; + echo "Usage: [php] $filename -s collaborators|organisation|contributors|network [OPTIONS]\n"; echo "\n"; echo "Scopes:\n"; |