git.postgresql.org Git - postgresql.git/commit
Sat, 8 Jul 2023 13:50:35 +0000 (15:50 +0200)
Sat, 8 Jul 2023 13:56:01 +0000 (15:56 +0200)
commit 5edf438eeb00271cca5d19d0ea10a2d6e8d018c4
Make some indentation in gram.y consistent
Reviewed-by: Amit Langote <amitlangote09@gmail.com>
Discussion: https://www.postgresql.org/message-id/flat/CA+HiwqE4XTdfb1nW=Ojoy_tQSRhYt-q_kb6i5d4xcKyrLC1Nbg@mail.gmail.com
This is the main PostgreSQL git repository.
RSS
Atom