diff options
| author | Andres Freund | 2015-03-17 22:25:52 +0000 |
|---|---|---|
| committer | Andres Freund | 2015-03-17 22:25:52 +0000 |
| commit | 4559167c6b75be334fabad70d7cc03a38a08d494 (patch) | |
| tree | 4a90f183b98f9ea53e00c1c5f166cde5121eb47b /src/backend | |
| parent | a190738457353ddb60743e45972f6fe50a75ee77 (diff) | |
Remove docs missed in 51c11a7025.
Somehow I misresolved a merge conflict when forward porting Petr's patch
leading to a section of the docs remaining...
Thankfully Fujii spotted my mistake.
Diffstat (limited to 'src/backend')
0 files changed, 0 insertions, 0 deletions