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 | |
| 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.
| -rw-r--r-- | Util/Code Snippets/Code snippet documentation.xlsx | bin | 0 -> 14963 bytes |
| -rw-r--r-- | Util/Code Snippets/How to use in Visual Studio.docx | bin | 0 -> 14021 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Util/Code Snippets/Code snippet documentation.xlsx b/Util/Code Snippets/Code snippet documentation.xlsx Binary files differnew file mode 100644 index 00000000..fb11d225 --- /dev/null +++ b/Util/Code Snippets/Code snippet documentation.xlsx 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 |