commit | ebcefa2d33e575203ff828e09d96c2c4e137a0b5 | [log] [tgz] |
---|---|---|
author | Bill Hollings <bill.hollings@brenwill.com> | Tue Aug 16 12:13:29 2022 -0400 |
committer | GitHub <noreply@github.com> | Tue Aug 16 12:13:29 2022 -0400 |
tree | 5f0ff6bff3a514fbbba841d43e9e91ed69527914 | |
parent | b051111953df389c3d54aa57b5eac71ea1af7c92 [diff] | |
parent | 694f2e5e881d203f4af16eccef97734e253c116d [diff] |
Merge pull request #1681 from scandit-opm/feature/make-cereal-optional Add MVK_USE_CEREAL build option to avoid use of Cereal library.