diff options
author | 2016-07-16 02:49:06 -0600 | |
---|---|---|
committer | 2016-07-16 02:49:06 -0600 | |
commit | af8621462cf6b25a6dd29b63ed251629109d6bfb (patch) | |
tree | 384c961c72fb0cadda51c05db24116896345c494 /Util/VS2010/Boogie/BoogieLanguageService/VSPackage.resx | |
parent | 7a0b581cd2e1ec9ce184f195fe0f8d2ea94255c2 (diff) |
Changed the syntax reading of the float type
Diffstat (limited to 'Util/VS2010/Boogie/BoogieLanguageService/VSPackage.resx')
0 files changed, 0 insertions, 0 deletions