Skip to content

Added highlighting for TIES keyword introduced in PostgreSQL 13#5033

Merged
andrewnester merged 8 commits intoajaxorg:masterfrom rozhnev:masterJan 24, 2023

Commits

Commits on Dec 9, 2022

Commits on Dec 28, 2022

Commits on Dec 30, 2022

Commits on Jan 22, 2023