Merge branch 'dev' into 'master'

Merge work from dev

See merge request Mishio595/disml!11

1 files changed, 0 insertions, 36 deletions

diff --git a/lib/models/gen/embed_t.mli b/lib/models/gen/embed_t.mli
deleted file mode 100644
index 9eb5059..0000000
--- a/lib/models/gen/embed_t.mli
+++ /dev/null
@@ -1,36 +0,0 @@
-(* Auto-generated from "embed.atd" *)
-              [@@@ocaml.warning "-27-32-35-39"]
-
-type video = { url: string option; height: int option; width: int option }
-
-type provider = { name: string option; url: string option }
-
-type image = {
-  url: string option;
-  proxy_url: string option;
-  height: int option;
-  width: int option
-}
-
-type footer = {
-  text: string;
-  icon_url: string option;
-  proxy_icon_url: string option
-}
-
-type field = { name: string; value: string; inline: bool option }
-
-type t = {
-  title: string option;
-  kind: string option;
-  description: string option;
-  url: string option;
-  timestamp: string option;
-  colour: int option;
-  footer: footer option;
-  image: image option;
-  thumbnail: image option;
-  video: video option;
-  provider: provider option;
-  fields: field list option
-}