summaryrefslogtreecommitdiff
path: root/Util/Code Snippets/How to use in Visual Studio.docx
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-07-30 18:28:37 +0000
committerGravatar tabarbe <unknown>2010-07-30 18:28:37 +0000
commit0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b (patch)
tree44c43ea68ed5ed783e6d769e023d5570aaad9522 /Util/Code Snippets/How to use in Visual Studio.docx
parent8ae5fd2d34c8ab9df4b117fff434dcadb9506c86 (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.docxbin0 -> 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
new file mode 100644
index 00000000..6f3d5ae2
--- /dev/null
+++ b/Util/Code Snippets/How to use in Visual Studio.docx
Binary files differ