JJ: Description from the destination commit:
fmt: break-separators=before; + wip Future_sign_key JJ: Description from source commit: rm fmt
This commit is contained in:
parent
68b5e6608a
commit
b96f1604d2
7 changed files with 51 additions and 32 deletions
|
|
@ -21,8 +21,8 @@ end = struct
|
|||
|
||||
(* type for the value of header field *)
|
||||
type header_etag_item = {
|
||||
weak: bool
|
||||
; value: string
|
||||
weak: bool;
|
||||
value: string;
|
||||
}
|
||||
|
||||
type header_value =
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue