diff options
| author | Laurențiu Nicola <[email protected]> | 2020-07-01 08:46:27 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-07-01 08:46:27 +0100 |
| commit | 1be5e848b099efe050c5803abf8b1f96ad4ec0fb (patch) | |
| tree | 55ab43beaaa310eb5eeca152bf71349aab0a359b /.gitignore | |
| parent | 30c2e714cc1677cbea40a47d7c0944c92f66b7c9 (diff) | |
Use dynamic dispatch in AstDiagnostic
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions