diff options
| author | Florian Diebold <[email protected]> | 2020-02-21 20:46:21 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-22 10:09:21 +0000 |
| commit | f126808b2ee79792631edc377bc8c2b0f329eebf (patch) | |
| tree | 687760c2eec85bdad42f6c6c56ab32b17a03aa37 /editors/code/.vscodeignore | |
| parent | 0dfbbaf03b03618dcb7ba203ddc453533bb8d1b4 (diff) | |
Fix handling of binders in canonicalization
I'm looking forward to getting rid of this in favor of Chalk's implementation.
Diffstat (limited to 'editors/code/.vscodeignore')
0 files changed, 0 insertions, 0 deletions