diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-13 01:25:33 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-13 01:25:33 +0000 |
| commit | 88f78bdb9b64e0ba4ca5924599e42a524f5c3b64 (patch) | |
| tree | daf2ca59132dfbaf2b3e1d24e0390ff100d8c0d8 /docs/dev/syntax.md | |
| parent | 5368e2c103dc313d65216f5c42e9895b5f3a11b1 (diff) | |
| parent | 2b5ea5c730b36cab9396cffd87384d7fd3b8a39b (diff) | |
Merge #7991
7991: Simplify hir_def TestDB r=jonas-schievink a=jonas-schievink
bors r+
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'docs/dev/syntax.md')
0 files changed, 0 insertions, 0 deletions