diff options
| author | Alvaro Herrera | 2019-03-07 14:35:39 +0000 |
|---|---|---|
| committer | Alvaro Herrera | 2019-03-07 14:35:39 +0000 |
| commit | ec51727f6eed38f302a10cdb0066f4484b0b5902 (patch) | |
| tree | aaf7bb424bd6e9ae5f89c1940347af6f9fe92e64 /src/include/executor/execPartition.h | |
| parent | eaaa5986ad03f7871fa95878460e1132cb7e8963 (diff) | |
Fix broken markup
Diffstat (limited to 'src/include/executor/execPartition.h')
0 files changed, 0 insertions, 0 deletions