diff options
| author |  tabarbe <unknown> | 2010-07-14 17:31:35 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-14 17:31:35 +0000 |
| commit | cd014ab0b0c4893816a1ddca3f6c5f72111f62fb (patch) | |
| tree | 06986898b04f513cf803e9a36af50da750e670e9 /Source/Boogie.sln | |
| parent | 3a84a2bd812728ae120b8f8b69be183f5ba72f98 (diff) | |
<Boogie> <BoogieDriver> Committing my porting of BoogieDriver.cs and the changes made to the .csproj and Boogie.sln file that are necessary for the port.
My Microsoft alias is t-abarbe, so if any of this stuff breaks for you, you can contact me.
</BoogieDriver> </Boogie>
Diffstat (limited to 'Source/Boogie.sln')
0 files changed, 0 insertions, 0 deletions