diff options
| -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). |