diff options
| author | Tom Lane | 2023-01-10 01:34:26 +0000 |
|---|---|---|
| committer | Tom Lane | 2023-01-10 01:34:26 +0000 |
| commit | bd8d453e9b5f8b632a400a9e796fc041aed76d82 (patch) | |
| tree | 79dc2baf094ee39431652cd2209c656cf7a9f3e5 /src/backend/regex | |
| parent | 09d517773f606baef7958aa5bad25d3b3c30303e (diff) | |
Remove pg_regress' never-documented "ignore" feature.
We aren't using this anymore in the wake of commit 09d517773,
so delete it. We can always revert this if some future use
emerges, but I think our standards for test quality are now
high enough that that will never happen.
Discussion: https://postgr.es/m/4173840.1673290336@sss.pgh.pa.us
Diffstat (limited to 'src/backend/regex')
0 files changed, 0 insertions, 0 deletions