diff options
| author | Andres Freund | 2023-03-21 00:23:57 +0000 |
|---|---|---|
| committer | Andres Freund | 2023-03-21 00:23:57 +0000 |
| commit | 7730ceb43fe5ecaa2b3cb26eb0ed8ad2e18c2d46 (patch) | |
| tree | 43bf9c86780725cf0b518a42ec7c0cda7442eff8 /src/backend/regex | |
| parent | 72a5b1fc880481914da2d4233077438dd87840ca (diff) | |
meson: rename html_help target to htmlhelp
Reported-by: Peter Eisentraut <peter.eisentraut@enterprisedb.com>
Discussion: https://postgr.es/m/3fc3bb9b-f7f8-d442-35c1-ec82280c564a@enterprisedb.com
Diffstat (limited to 'src/backend/regex')
0 files changed, 0 insertions, 0 deletions