diff options
Diffstat (limited to 'bdep/deinit.cli')
| -rw-r--r-- | bdep/deinit.cli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bdep/deinit.cli b/bdep/deinit.cli index e78cdbe..3ec0e72 100644 --- a/bdep/deinit.cli +++ b/bdep/deinit.cli @@ -47,6 +47,12 @@ namespace bdep configuration. This mode is primarily useful when the configuration directory has been removed or is otherwise unusable." } + + bool --no-fetch + { + "Do not re-fetch the repository information before attempting to replace + packages being deinitialized with versions from repositories." + } }; " |