diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2022-09-29 13:22:13 +0200 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2022-09-29 13:22:13 +0200 |
| commit | 7302ce45688748474129c0f0a50778818c1784eb (patch) | |
| tree | a6aa733b648d2c2c02004c339eb185568881f7f4 /model-integration | |
| parent | 606796ed3b3bce9953e419effa9365103ca4032d (diff) | |
Warn if enable-bit-vectors is used. It is default and has no effect any longer.
Diffstat (limited to 'model-integration')
0 files changed, 0 insertions, 0 deletions