diff options
| author |   Koren Lev <korenlev@gmail.com> | 2017-09-10 16:57:24 +0300 |
|---|---|---|
| committer | Koren Lev <korenlev@gmail.com> | 2017-09-10 16:57:24 +0300 |
| commit | 84f70ecf2fde9893dadae88f1dc6adc0093f0d66 (patch) | |
| tree | 203526f57cd14e7e8d992da9a8949b07d8cc651f /docs | |
| parent | c1fe8357a6acb7294252da2554b8f0e8ba787525 (diff) | |
clique_types for mercury
Change-Id: Id7a54e3e8b5c26b194399f235598d9b9e27f4896
Signed-off-by: Koren Lev <korenlev@gmail.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions