Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.

1 files changed, 0 insertions, 13 deletions

diff --git a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IASTResolver.cs b/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IASTResolver.cs
deleted file mode 100644
index 8de1a454..00000000
--- a/Util/VS2010/Chalice/ChaliceLanguageService/Integration/IASTResolver.cs
+++ /dev/null
@@ -1,13 +0,0 @@
-using System;

-using System.Collections.Generic;

-

-namespace Demo

-{

-    interface IASTResolver

-    {

-        IList<Declaration> FindCompletions(object result, int line, int col);

-        IList<Declaration> FindMembers(object result, int line, int col);

-        string FindQuickInfo(object result, int line, int col);

-        IList<Method> FindMethods(object result, int line, int col, string name);

-    }

-}
\ No newline at end of file