diff options
| author | Florian Diebold <[email protected]> | 2020-02-22 12:14:39 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-22 12:14:39 +0000 |
| commit | 3e106c77ff76c39be49444165eac805d32666e41 (patch) | |
| tree | 7f136356bb7edb610233a2821be0b755725ed03a /editors/code/.gitignore | |
| parent | c2000257941956cd4c4365d6eb6cdbc1b16e929c (diff) | |
Rework find_super_trait_path to protect against cycles
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions