diff options
| author |  Rustan Leino <unknown> | 2013-05-10 19:55:27 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-05-10 19:55:27 -0700 |
| commit | e5ab3ec7a78f288f966a2a7767052ef5eff56276 (patch) | |
| tree | 1aa9ab2332d2202d366fa1315fd905d1e8b822f0 /Util | |
| parent | 3edcfe0197d8ecb869c4f0f59cf8ff3777d814af (diff) | |
Made the semi-colon after "type" and "module" declarations optional.
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions