diff options
| author | Rémi Verschelde | 2016-10-14 18:09:28 +0200 |
|---|---|---|
| committer | GitHub | 2016-10-14 18:09:27 +0200 |
| commit | 44e0071d0f57a8206fe2e79ef549af187912284a (patch) | |
| tree | a72c7ba7df37df98e4174b7b9034a2c257ed99ba /drivers/nedmalloc/memory_pool_static_nedmalloc.cpp | |
| parent | 6c0be2c017e605c2106823e80e5aaa78fc68aba5 (diff) | |
| parent | 00b3af246b03bc789a7edc45c11b000d7d63ad27 (diff) | |
| download | godot-44e0071d0f57a8206fe2e79ef549af187912284a.tar.gz godot-44e0071d0f57a8206fe2e79ef549af187912284a.tar.zst godot-44e0071d0f57a8206fe2e79ef549af187912284a.zip | |
Merge pull request #6780 from RandomShaper/space-padded-line-numbers
Allow turning off zero-padding for line numbers
Diffstat (limited to 'drivers/nedmalloc/memory_pool_static_nedmalloc.cpp')
0 files changed, 0 insertions, 0 deletions