Merge branch 'dev' into 'master'

Merge work from dev

See merge request Mishio595/disml!11

1 files changed, 0 insertions, 25 deletions

diff --git a/lib/models/gen/activity_j.mli b/lib/models/gen/activity_j.mli
deleted file mode 100644
index c179efb..0000000
--- a/lib/models/gen/activity_j.mli
+++ /dev/null
@@ -1,25 +0,0 @@
-(* Auto-generated from "activity.atd" *)
-[@@@ocaml.warning "-27-32-35-39"]
-
-type t = Activity_t.t = { name: string; kind: int; url: string option }
-
-val write_t :
-  Bi_outbuf.t -> t -> unit
-  (** Output a JSON value of type {!t}. *)
-
-val string_of_t :
-  ?len:int -> t -> string
-  (** Serialize a value of type {!t}
-      into a JSON string.
-      @param len specifies the initial length
-                 of the buffer used internally.
-                 Default: 1024. *)
-
-val read_t :
-  Yojson.Safe.lexer_state -> Lexing.lexbuf -> t
-  (** Input JSON data of type {!t}. *)
-
-val t_of_string :
-  string -> t
-  (** Deserialize JSON data of type {!t}. *)
-