diff options
| author | Michael Paquier | 2020-07-14 04:39:45 +0000 |
|---|---|---|
| committer | Michael Paquier | 2020-07-14 04:39:45 +0000 |
| commit | b8401c32bacd0869bd00bc71fd64f1d6071bcd6a (patch) | |
| tree | 667d0af74d336fea17a892b42bf78005d437b631 /doc/src | |
| parent | 9168793d7275b4b318c153d607fba55d14098c19 (diff) | |
Fix some header identifications
The following header files missed the shot:
- jsonfuncs.h, as of ce0425b.
- jsonapi.h, as of beb4699.
- llvmjit_emit.h as of 7ec0d80.
- partdesc.h, as of 1bb5e78.
Author: Jesse Zhang
Discussion: https://postgr.es/m/CAGf+fX4-8xULEOz09DE2dZGjT+q8VJ--rqfTpvcFwc+A4fc-3Q@mail.gmail.com
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions