summaryrefslogtreecommitdiff
path: root/Util/VS2010/Dafny/DafnyLanguageService/Configuration.cs
Commit message (Expand)AuthorAge
* Visual Studio 2010 integration for Dafny and Chalice. See the "How to instal...Gravatar rustanleino2010-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 03:07:50 +0000