diff options
| author | Evgenii P <[email protected]> | 2019-08-02 19:56:27 +0100 |
|---|---|---|
| committer | Evgenii P <[email protected]> | 2019-08-02 19:56:27 +0100 |
| commit | 291bd81e74742472572c88ccf3d2cf9cf70af6b2 (patch) | |
| tree | 8ff6738a892419c8480fcd572b091eb4a4f8b811 /.gitignore | |
| parent | ab7774545cb5e45064c907429417bdee8d89f4d4 (diff) | |
Relax trait solving more for completion
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions