diff options
author | Magnus Hagander | 2018-04-15 11:57:02 +0000 |
---|---|---|
committer | Magnus Hagander | 2018-04-15 11:57:02 +0000 |
commit | 90372729f4671ad5ad743b53a53e7ccbab92c4f8 (patch) | |
tree | 72c19c35ed33f936c26adbd62d03e007286b661b /src/backend/regex/regexec.c | |
parent | 645387927f83d31b8f1272876c1f8db3bc3b4f45 (diff) |
Fix build of pg_verify_checksum docs
They were accidentally excluded when reverting the backend online
checksum functionality, and since they weren't built the incorrect
reference to a removed section also did not trigger a problem.
Author: Christoph Berg
Diffstat (limited to 'src/backend/regex/regexec.c')
0 files changed, 0 insertions, 0 deletions