diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-04-22 17:53:57 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-04-23 12:47:11 +0200 |
| commit | 66ee4bff8d5d54e63517f89ec1a2927e9c29638d (patch) | |
| tree | ff93f8485471ae43dcc9d93b3aefb7ed8ef93a72 /share | |
| parent | 73df5eef4c5c87c608eeffbedf920a487a0c0305 (diff) | |
| download | justbuild-66ee4bff8d5d54e63517f89ec1a2927e9c29638d.tar.gz | |
just-dedulicate-repos.1: Fix a typo
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-deduplicate-repos.1.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/man/just-deduplicate-repos.1.md b/share/man/just-deduplicate-repos.1.md index 9a87597a..3edf7b80 100644 --- a/share/man/just-deduplicate-repos.1.md +++ b/share/man/just-deduplicate-repos.1.md @@ -17,7 +17,7 @@ DESCRIPTION Read a multi-repository configuration from stdin and print to stdout a repository configuration with indistinguishable repositories merged to a single repository. In doing so, keep the `"main"` repository, -as well as any repositories specified on the as arguments on +as well as any repositories specified as arguments on the command line, even if that means that some indistinguishable repositories cannot be merged into one (as both have to be kept). |