From 382d333436771d4cef61f8238f71d8fd70f06572 Mon Sep 17 00:00:00 2001 From: Matthieu Dubuget Date: Thu, 8 Dec 2016 15:55:51 +0100 Subject: [PATCH] Ajout GmailApp.get_id --- googleApps.ml | 1 + googleApps.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/googleApps.ml b/googleApps.ml index b3e5e16..922baa4 100644 --- a/googleApps.ml +++ b/googleApps.ml @@ -146,6 +146,7 @@ include ([%js] : sig val get_body : t -> string [@@js.call] val get_subject : t -> string [@@js.call] val get_from : t -> string [@@js.call] + val get_id : t -> string [@@js.call] end module GmailThread : sig diff --git a/googleApps.mli b/googleApps.mli index 2f7d2d6..06f579c 100644 --- a/googleApps.mli +++ b/googleApps.mli @@ -191,6 +191,7 @@ sig val get_body : t -> string val get_subject : t -> string val get_from : t -> string + val get_id : t -> string end module GmailThread :