diff options
| author | Aleksey Kladov <[email protected]> | 2019-08-09 11:16:47 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-08-09 11:16:47 +0100 |
| commit | f3ee5a15090d8ba6ec220e1f907ed3af27e57734 (patch) | |
| tree | d4042c35679ca1e4db06fd9976d90d025fca0966 /editors | |
| parent | 5f82012779c374d9f6b518634aefb14ce28e17e6 (diff) | |
Move numeric names inside of `NameRef`
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions