diff options
author | kjeremy <[email protected]> | 2020-01-13 15:51:39 +0000 |
---|---|---|
committer | kjeremy <[email protected]> | 2020-01-13 15:51:39 +0000 |
commit | 0610444407585ce4df9910b80f610619b5d9c10f (patch) | |
tree | be6684ff83d9a54af349eadeaba3d6dd33f48147 /editors/code/.gitignore | |
parent | a30129be5ae8fd3dc698cc035339ed651b30de02 (diff) |
Dropping a reference does nothing.
Allows clippy to continue compilation
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions