diff options
| author | Pierre-Marie Pédrot | 2017-08-24 16:37:39 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-24 16:37:39 +0200 |
| commit | 4c964aa3ecfbb2f6aa52274545c2e27d7d11e179 (patch) | |
| tree | e61d43d4f93b9bbb331d94baf60a34b4877138ab /tests/example2.v | |
| parent | d61047ba240741b9f92ec03e7026deba79ea7b70 (diff) | |
Fix typing of reference quotations.
Diffstat (limited to 'tests/example2.v')
0 files changed, 0 insertions, 0 deletions