From 0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b Mon Sep 17 00:00:00 2001 From: tabarbe Date: Fri, 30 Jul 2010 18:28:37 +0000 Subject: 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. --- Util/Code Snippets/How to use in Visual Studio.docx | Bin 0 -> 14021 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Util/Code Snippets/How to use in Visual Studio.docx (limited to 'Util/Code Snippets/How to use in Visual Studio.docx') 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 Binary files /dev/null and b/Util/Code Snippets/How to use in Visual Studio.docx differ -- cgit v1.2.3