diff options
author | Aleksey Kladov <[email protected]> | 2020-10-20 16:04:38 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-10-20 16:09:03 +0100 |
commit | 3b1a648539487c08bc613b6fd6e573b0e0e38948 (patch) | |
tree | c7f1ebcc5979838d1747cf19dd562004916a7274 /editors/code/.gitignore | |
parent | a85c4280bf7af3ea25c34c0cd72d05c8de17454d (diff) |
More type safety around names
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions