Fixes #436. Develop clones HEAD and full history.
This commit is contained in:
parent
225a0ef661
commit
d606867da6
3 changed files with 21 additions and 8 deletions
|
|
@ -22,6 +22,8 @@ type
|
|||
showVersion*: bool
|
||||
noColor*: bool
|
||||
disableValidation*: bool
|
||||
## Whether packages' repos should always be downloaded with their history.
|
||||
forceFullClone*: bool
|
||||
|
||||
ActionType* = enum
|
||||
actionNil, actionRefresh, actionInit, actionDump, actionPublish,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue