summaryrefslogtreecommitdiff
path: root/Util/VS2010
ModeNameSize
d---------Boogie101logplain