diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2019-05-02 10:13:17 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2019-05-02 10:13:17 +0200 |
| commit | f343f9037cea5ce93718647ed3ae9a12f072df23 (patch) | |
| tree | 44ac4ba42403b0958afbd796daa3f2a743e6e21a /scripts | |
| parent | efa921b281e2cd590252f522b894bad6f08c2a89 (diff) | |
| download | laminar-cnf-f343f9037cea5ce93718647ed3ae9a12f072df23.tar.gz laminar-cnf-f343f9037cea5ce93718647ed3ae9a12f072df23.tar.bz2 laminar-cnf-f343f9037cea5ce93718647ed3ae9a12f072df23.zip | |
utils: fix documentation
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/utils | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/utils b/scripts/utils index 709cace..6254d88 100644 --- a/scripts/utils +++ b/scripts/utils @@ -49,7 +49,7 @@ _git_fetch() { # _g: mirror is in global workspace # First agument has to be a source URL # Second argument is name of directory to which will be directory cloned in. -# Second argument is optional and should be branch name (master is used if not +# Third argument is optional and should be branch name (master is used if not # provided). git_fetch_w() { _git_fetch "$1" "$2" "$3" "$WORKSPACE/git-mirror" @@ -64,7 +64,7 @@ git_fetch_g() { # Clones one depth given repository with given branch/tag/hash # First agument has to be a source URL # Second argument is name of directory to which will be directory cloned in. -# Second argument is optional and should be branch name (master is used if not +# Third argument is optional and should be branch name (master is used if not # provided). git_clone() { local src="$1" |