diff options
| author | Larry Doolittle <ldoolitt@recycle.lbl.gov> | 2015-08-14 13:46:22 -0700 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-14 23:27:19 +0200 |
| commit | 1e67b2991916077260fbaf8679608c07375a19ac (patch) | |
| tree | 5f9098c60e50632e16d99b9237e072928f584a47 /backends/smt2/smt2.cc | |
| parent | 6c00704a5ef09be46b1f05e2be477e493f37dd38 (diff) | |
Fix version strings for out-of-tree builds
Still assumes source tree is a git repository
Diffstat (limited to 'backends/smt2/smt2.cc')
0 files changed, 0 insertions, 0 deletions