Merge pull request boogie-org#170 from RustanLeino/remove-util-vs2010

Remove Util/VS2010, which is out-dated
atomb · Dec 14, 2019 · 4e53cfc · 4e53cfc
2 parents 8df4025 + c91a1df
commit 4e53cfc
Show file tree

Hide file tree

Showing 27 changed files with 0 additions and 2,134 deletions.
diff --git a/Util/VS2010/Boogie/BoogieLanguageService.sln b/Util/VS2010/Boogie/BoogieLanguageService.sln
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/BoogieLanguageService.csproj b/Util/VS2010/Boogie/BoogieLanguageService/BoogieLanguageService.csproj
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Configuration.cs b/Util/VS2010/Boogie/BoogieLanguageService/Configuration.cs
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/GlobalSuppressions.cs b/Util/VS2010/Boogie/BoogieLanguageService/GlobalSuppressions.cs