summaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
authorDavid Rowley2025-04-30 07:18:30 +0000
committerDavid Rowley2025-04-30 07:18:30 +0000
commit918e7287ed20eb1fe280ab6c4056ccf94dcd53a8 (patch)
tree877289184936c58bc7a4daa347420433cd7e73cd /doc/src
parentd8555e522eca00f1b4b6cd0b75269b7176fb7931 (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