diff options
| author |  Rustan Leino <leino@microsoft.com> | 2016-02-12 16:47:14 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2016-02-12 16:47:14 -0800 |
| commit | abee810ceedbf551194788164fdf723edc511c0c (patch) | |
| tree | dd9b0d80336673612cbcaaa8d4582c3218e4549b /Test/test2/B.bpl.expect | |
| parent | bad6c014fdf57c5674a840b32047c7db54cd7aba (diff) | |
(Honestly, I don't know what I'm doing. I'm trying to revert these changes, but Git doesn't actually say what sort of commit I'm doing. Well, here goes.)
Diffstat (limited to 'Test/test2/B.bpl.expect')
0 files changed, 0 insertions, 0 deletions