diff options
| author |  Rustan Leino <unknown> | 2013-01-23 17:33:15 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-01-23 17:33:15 -0800 |
| commit | 336ca6ddd444374e9df63ce376f58e9eb7ed91b3 (patch) | |
| tree | 74d172d6ea735473c41696236bd3a14a4f4959fb /Source/BoogieDriver | |
| parent | 30daf75f78b331e971ba08cf794ec006441a722b (diff) | |
Let Boogie clients determine their own version string
Diffstat (limited to 'Source/BoogieDriver')
0 files changed, 0 insertions, 0 deletions