summaryrefslogtreecommitdiff
path: root/src/message.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/message.mli')
-rw-r--r--src/message.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/message.mli b/src/message.mli
index 2688b8c..b610200 100644
--- a/src/message.mli
+++ b/src/message.mli
@@ -5,6 +5,7 @@ type operation =
| Set of string list
| Delete of string list
| Show of (string list option) * ((string * string) list option)
+ | GetValues of string list
type message = {
session_id: string;