diff options
Diffstat (limited to 'src/vycall_pbt.mli')
| -rw-r--r-- | src/vycall_pbt.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/vycall_pbt.mli b/src/vycall_pbt.mli index 5c8bd20..f389302 100644 --- a/src/vycall_pbt.mli +++ b/src/vycall_pbt.mli @@ -21,8 +21,6 @@ type call = { type commit = { session_id : string; - named_active : string option; - named_proposed : string option; dry_run : bool; atomic : bool; background : bool; @@ -51,8 +49,6 @@ val default_call : val default_commit : ?session_id:string -> - ?named_active:string option -> - ?named_proposed:string option -> ?dry_run:bool -> ?atomic:bool -> ?background:bool -> |