diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-03 11:43:41 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-03 11:43:41 +0000 |
commit | 1cb8aa1311668b710379158762cab9ee03a92925 (patch) | |
tree | 8d5bf0726004c76e2fedd068f6f2c3ce30b3322c /editors/code/.gitignore | |
parent | 4516c4c1447942a8f01b59a71dcf5abfa2c5e37a (diff) | |
parent | 84e2e173eeb84551832a0853f8a3717144640908 (diff) |
Merge #2729
2729: Remove a duplicate line in `collect_defs` r=matklad a=michalt
Co-authored-by: Michal Terepeta <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions