diff options
| author | Tej Chajed | 2018-08-06 16:39:47 -0400 |
|---|---|---|
| committer | Tej Chajed | 2018-08-06 16:39:47 -0400 |
| commit | 2e438a42635beb64d0cb5bee1704ae67a10c6097 (patch) | |
| tree | deacb22652ec2e6d5a99bed278f7aa757ff7e454 /plugins/syntax/string_syntax.ml | |
| parent | a7f06968eb57815fbf4f4479f0eea4cc01f7d40a (diff) | |
Add regression test for issue #4202
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions