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 | |
| 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')
0 files changed, 0 insertions, 0 deletions