summaryrefslogtreecommitdiff
path: root/Util/VS2010/Boogie
ModeNameSize
-rw-r--r--BoogieLanguageService.sln933logplain
d---------BoogieLanguageService617logplain