diff options
| author | Tom Lane | 2015-08-05 01:09:12 +0000 |
|---|---|---|
| committer | Tom Lane | 2015-08-05 01:09:40 +0000 |
| commit | dacbdda1092e20507249bade076c859993f5e837 (patch) | |
| tree | eb74e6141d2ac77e25539e3403c045c389b97f0d /src | |
| parent | 270a877cca21cf0252ae7c81dd085ae61233ab56 (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