diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-03-26 11:22:21 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2019-03-26 11:22:21 -0700 |
commit | 20569472704deb899d577be7800ec902e5883fa5 (patch) | |
tree | f56626edb1aa1724107b455139c79ef20059d27a /src/options/bv_bitblast_mode.cpp | |
parent | 3606045186bffa81b292a5299c5a5d6fd7e0b68f (diff) |
get-authors: Exclude empty lines.
Diffstat (limited to 'src/options/bv_bitblast_mode.cpp')
0 files changed, 0 insertions, 0 deletions