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.mli | |
| 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.mli')
| -rw-r--r-- | lib/models/overwrites.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/models/overwrites.mli b/lib/models/overwrites.mli index cae4047..ed823dc 100644 --- a/lib/models/overwrites.mli +++ b/lib/models/overwrites.mli @@ -3,4 +3,4 @@ type t = ; kind: string ; allow: Permissions.t ; deny: Permissions.t -} [@@deriving sexp, yojson]
\ No newline at end of file +} [@@deriving sexp, yojson { exn = true }]
\ No newline at end of file |