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/release/about.pdf | |
parent | c1fe8357a6acb7294252da2554b8f0e8ba787525 (diff) |
clique_types for mercury
Change-Id: Id7a54e3e8b5c26b194399f235598d9b9e27f4896
Signed-off-by: Koren Lev <korenlev@gmail.com>
Diffstat (limited to 'docs/release/about.pdf')
0 files changed, 0 insertions, 0 deletions