diff options
| author | David Rowley | 2025-04-30 07:18:30 +0000 |
|---|---|---|
| committer | David Rowley | 2025-04-30 07:18:30 +0000 |
| commit | 918e7287ed20eb1fe280ab6c4056ccf94dcd53a8 (patch) | |
| tree | 877289184936c58bc7a4daa347420433cd7e73cd /doc/src | |
| parent | d8555e522eca00f1b4b6cd0b75269b7176fb7931 (diff) | |
Fix broken indentation
I forgot to run pgindent in d8555e522.
Reported-by: Fujii Masao <masao.fujii@oss.nttdata.com>
Discussion: https://postgr.es/m/156083c9-eac0-418d-9667-92dec4d6d6cd@oss.nttdata.com
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions