diff options
| author |  tabarbe <unknown> | 2010-07-30 18:28:37 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-30 18:28:37 +0000 |
| commit | 0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b (patch) | |
| tree | 44c43ea68ed5ed783e6d769e023d5570aaad9522 /Util/Code Snippets/How to use in Visual Studio.docx | |
| parent | 8ae5fd2d34c8ab9df4b117fff434dcadb9506c86 (diff) | |
Boogie/Dafny: For those who may have not used custom code snippets before, some instructions on getting VS to track them down, along with an Excel sheet detailing the ones available.
Diffstat (limited to 'Util/Code Snippets/How to use in Visual Studio.docx')
| -rw-r--r-- | Util/Code Snippets/How to use in Visual Studio.docx | bin | 0 -> 14021 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Util/Code Snippets/How to use in Visual Studio.docx b/Util/Code Snippets/How to use in Visual Studio.docx Binary files differnew file mode 100644 index 00000000..6f3d5ae2 --- /dev/null +++ b/Util/Code Snippets/How to use in Visual Studio.docx |