diff options
| author | Matias Goldfeld <[email protected]> | 2021-02-07 20:21:47 -0500 |
|---|---|---|
| committer | Matias Goldfeld <[email protected]> | 2021-02-07 20:21:47 -0500 |
| commit | b2f081fff12093a7d3434859ebd621608dde6c7d (patch) | |
| tree | 5ea4f7d6ff82727d62b01fb2d234a4f8ab66aa2b /lib/models/overwrites.ml | |
| parent | Removed generated version numbers (diff) | |
| download | disml-master.tar.xz disml-master.zip | |
Reverted earlier changes for goodHEADorigin/masterorigin/HEADmaster
Diffstat (limited to 'lib/models/overwrites.ml')
| -rw-r--r-- | lib/models/overwrites.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/models/overwrites.ml b/lib/models/overwrites.ml index 424a3aa..4603c91 100644 --- a/lib/models/overwrites.ml +++ b/lib/models/overwrites.ml @@ -5,4 +5,4 @@ type t = ; kind: string [@key "type"] ; allow: Permissions.t ; deny: Permissions.t -} [@@deriving sexp, yojson]
\ No newline at end of file +} [@@deriving sexp, yojson { strict = false; exn = true }]
\ No newline at end of file |