diff options
| author | Dmitry Sharshakov | 2021-08-14 08:01:23 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-08-20 04:43:54 +0000 |
| commit | cc650c7f4f7e63d9417ceb3a0f302a575297dd98 (patch) | |
| tree | 302dfa3c9d703d2dd8b6e208e2f9546bf7cbb952 /.gitmodules | |
| parent | b3be6b269aaf8b81d74ca4f0001254d8a17a6c76 (diff) | |
types: capitalize ID in names
Part of LLDB integration
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions