diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-05 13:40:29 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-06 05:47:47 -0400 |
| commit | c4789644ab4d1a88f1331efb29b69011a30f5eed (patch) | |
| tree | e1015dc4133cd066dc90fcc3b406f53ef7b771bb /stm/stm.mli | |
| parent | 5e2bf8c82d08327044074330dff958fd32a8bcde (diff) | |
xmlprotocol: fix unmarshaling of Feedback.Message
Diffstat (limited to 'stm/stm.mli')
0 files changed, 0 insertions, 0 deletions