diff options
| author | Edwin Cheng <[email protected]> | 2019-04-13 11:38:31 +0100 |
|---|---|---|
| committer | Edwin Cheng <[email protected]> | 2019-04-14 04:42:20 +0100 |
| commit | 6646d49f238bb92d55fcb4900830f19faa2994a5 (patch) | |
| tree | 1a7091b6e104abedcc086e99f560f36010aefe5f /editors/code/src/extension.ts | |
| parent | f66300ccd1e6ef05b633cda06c87f913d1c91a1e (diff) | |
Fix bug and add expr , pat , ty matcher
Diffstat (limited to 'editors/code/src/extension.ts')
0 files changed, 0 insertions, 0 deletions