diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-10-07 08:29:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-07 08:29:25 +0200 |
| commit | 6eb2094d4dce0d7489e86a993f8d96ff2cfd22d3 (patch) | |
| tree | 1cec388a2d24284edefe1f5fbf6a7f079d3ae8d9 /doc/Makefile | |
| parent | 7acb0678ed1ec41265f1b9db00de4119edfc0972 (diff) | |
| parent | 44b68f08b4872871542f09565283caa40ab36ab9 (diff) | |
Merge pull request #53494 from mhilbrunner/stop-drop-and-dont-lie
Fix outdated no_call_local, use call_remote
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions