From 0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
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/Code snippet documentation.xlsx  | Bin 0 -> 14963 bytes
 Util/Code Snippets/How to use in Visual Studio.docx | Bin 0 -> 14021 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 Util/Code Snippets/Code snippet documentation.xlsx
 create mode 100644 Util/Code Snippets/How to use in Visual Studio.docx

(limited to 'Util/Code Snippets')

diff --git a/Util/Code Snippets/Code snippet documentation.xlsx b/Util/Code Snippets/Code snippet documentation.xlsx
new file mode 100644
index 00000000..fb11d225
Binary files /dev/null and b/Util/Code Snippets/Code snippet documentation.xlsx differ
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