From 7d37934cae1f9372acfa994750616e4ecc21854d Mon Sep 17 00:00:00 2001 From: wuestholz Date: Thu, 8 Oct 2015 12:23:54 -0500 Subject: Make the Dafny extension compile on VS 2015 without any old versions. --- Source/DafnyMenu/packages.config | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 Source/DafnyMenu/packages.config (limited to 'Source/DafnyMenu/packages.config') diff --git a/Source/DafnyMenu/packages.config b/Source/DafnyMenu/packages.config new file mode 100644 index 00000000..60f856c5 --- /dev/null +++ b/Source/DafnyMenu/packages.config @@ -0,0 +1,29 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3