diff options
| author | Robert Norton | 2018-04-12 14:21:20 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-12 14:21:20 +0100 |
| commit | e74193e1e82303186a357a4dc8a1f69818f8a9e2 (patch) | |
| tree | 18f1f904a4d08ddd5a6e3bdebbe67dd8462e94ac /src/bitfield.ml | |
| parent | 7980c236e1212206460af9e56ff21f376628934d (diff) | |
implement new permit_unseal used for CUnseal instead of permit_seal.
Diffstat (limited to 'src/bitfield.ml')
0 files changed, 0 insertions, 0 deletions