diff options
| author | Tom Lane | 2015-08-05 01:09:12 +0000 |
|---|---|---|
| committer | Tom Lane | 2015-08-05 01:09:28 +0000 |
| commit | aa9f8cb131a91df16db69fd271f81e761db29625 (patch) | |
| tree | c055bd59edfd715730ccacb4a36c1d7e9c074f1e /src | |
| parent | fa6e785fd34eb35ae82ebd447fdbc9970ce5bf3b (diff) | |
Docs: add an explicit example about controlling overall greediness of REs.
Per discussion of bug #13538.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions