HomeIsabelle/Phabricator

clarified inlined protocol messages;

Authored by makarius.

Description

clarified inlined protocol messages;

Details

Committed
makariusSat, Jul 11, 3:23 PM
Parents
rISABELLE0b1c830ebf3a: removed unused property;
Branches
Unknown
Tags
Unknown