diff options
| author | Kazuhiko Sakaguchi | 2019-10-25 16:15:04 +0200 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-10-25 16:15:04 +0200 |
| commit | de05e0e6e3869973a5a1dd5427748c3918a6a23d (patch) | |
| tree | 4d5f170c62799ac0e4dd830f4412e3a6477e8bd5 /doc/plugin_tutorial/tuto3 | |
| parent | 6ed3b02af77313d62ec868b4a88a208a9003857d (diff) | |
Add 2 missing instances in ZifyBool.v
Diffstat (limited to 'doc/plugin_tutorial/tuto3')
0 files changed, 0 insertions, 0 deletions