diff options
| author |  mikebarnett <unknown> | 2010-07-14 19:55:02 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-07-14 19:55:02 +0000 |
| commit | 6aec6c6c976832f02f3d8986df3d7a54f7edbf3a (patch) | |
| tree | 11c44064d54f1b540a3d36b27c57137adf848d85 /Test/houdini/houd1.bpl | |
| parent | 26ac7446fae34e4d30a884ed351fbdb82b0dce52 (diff) | |
Fixed project files to point to references correctly and also to remove assembly signing information from AssemblyInfo.cs files (which since that was the only thing in BoogieDriver's assembly info, deleted that file). Now signing information is specified in the project files.
Diffstat (limited to 'Test/houdini/houd1.bpl')
0 files changed, 0 insertions, 0 deletions