diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-27 08:57:37 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-27 09:01:24 +0100 |
| commit | 0ba75c195efffcb098ac74440ffb0fa9c85d0d96 (patch) | |
| tree | 4beaa2d008b5c40a469319552e46cfc8e9e94eb0 /core/pool_vector.cpp | |
| parent | caa42667e801318fcb78c9f52921a48cf985b62f (diff) | |
Fix GCC 5 build after #26331 and cleanup style
Also cleanup after 01a3dd3.
Diffstat (limited to 'core/pool_vector.cpp')
0 files changed, 0 insertions, 0 deletions