diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-08-19 23:03:51 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-09-04 20:00:14 +0200 |
| commit | 337a702b759baa111e9f88ff060f7b2e4448ea6b (patch) | |
| tree | d5e809cc49fd0e52000518df2d021246b445dc83 /backends/smt2/smt2.cc | |
| parent | 74fe431bcf5be8b0355130e5dd3554fdb7e1581c (diff) | |
Do not show g++ build flags in Version string
Gbp-Pq: Name 0011-Do-not-show-g-build-flags-in-Version-string.patch
Diffstat (limited to 'backends/smt2/smt2.cc')
0 files changed, 0 insertions, 0 deletions