aboutsummaryrefslogtreecommitdiff
path: root/editors/code/.gitignore
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-01-03 11:43:41 +0000
committerGitHub <[email protected]>2020-01-03 11:43:41 +0000
commit1cb8aa1311668b710379158762cab9ee03a92925 (patch)
tree8d5bf0726004c76e2fedd068f6f2c3ce30b3322c /editors/code/.gitignore
parent4516c4c1447942a8f01b59a71dcf5abfa2c5e37a (diff)
parent84e2e173eeb84551832a0853f8a3717144640908 (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