diff options
| author | Peter Sewell | 2015-05-09 16:45:50 +0100 |
|---|---|---|
| committer | Peter Sewell | 2015-05-09 16:45:50 +0100 |
| commit | 41b91549c4d718871b7202d2679492a5a493447a (patch) | |
| tree | e852b936e7cb4130c784ddf31e5f16dc9c193b0e /src/util.mli | |
| parent | 6edab5a5943bfc04052eb12246096da82235b347 (diff) | |
use less confusing Ott binary
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions