diff options
| author |  Xavier Clerc <xavier.clerc@inria.fr> | 2014-09-25 11:05:04 +0200 |
|---|---|---|
| committer | Xavier Clerc <xavier.clerc@inria.fr> | 2014-09-25 11:05:04 +0200 |
| commit | d5b7c4b6e0efa998a35182cb1dbf6c309a82ba5a (patch) | |
| tree | 6f8dcdcb11584a0ee7caa0c93c5f6e9de21f60d9 /test-suite/bugs/closed/3647.v | |
| parent | 4e1135fb315eab7bede3861e83e0ced74cf60ed3 (diff) | |
Improve consistency of whitespace (beautifier).
Diffstat (limited to 'test-suite/bugs/closed/3647.v')
0 files changed, 0 insertions, 0 deletions