diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-01-15 00:49:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-15 00:49:31 +0100 |
commit | 8d60f5a34940238383e13b9a63d9d2a1af6e21bb (patch) | |
tree | 6480c7f8590825fff528a1ee93dcc0270cb37f6b /core/pool_vector.h | |
parent | eb382f1bdc240c7f81b3a677a86fe4aed4f420e9 (diff) | |
parent | 3c8abbc4bf6d2e7b6706468f6af3eb4b270ab7bf (diff) |
Merge pull request #35132 from Calinou/doc-description-below-brief
doc: Move the class description to be just below the brief description
Diffstat (limited to 'core/pool_vector.h')
0 files changed, 0 insertions, 0 deletions