diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-12 12:41:00 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-12 12:41:00 +0530 |
| commit | f180d0580457e1e9bd502293df327dfe138dd422 (patch) | |
| tree | 11b9eecb7a74acf7cfe36ccbc3366905718d8a1d /contrib/ide | |
| parent | 0050bf005a40cab3b4fdc43f2960025e8d52e176 (diff) | |
remove excessive namespacing, format
Diffstat (limited to 'contrib/ide')
0 files changed, 0 insertions, 0 deletions