diff options
author | 2013-08-05 17:47:55 -0700 | |
---|---|---|
committer | 2013-08-05 17:47:55 -0700 | |
commit | a9c60110139c15ec65c50360763c75014b9eef82 (patch) | |
tree | a3ffbed03df822f6bb17f0df921ebc47663b6800 /Test/linear/typecheck.bpl | |
parent | 1a34c03dbe4bf160afc884700cfc393273eda9bc (diff) |
Changed BVD to display shortened names if they are unique.
Diffstat (limited to 'Test/linear/typecheck.bpl')
0 files changed, 0 insertions, 0 deletions