Hello!
On Tue, Aug 30, 2022 at 12:52:33PM +, Liam Crilly via nginx-devel wrote:
> # HG changeset patch
> # User Liam Crilly
> # Date 1659696328 -3600
> # Fri Aug 05 11:45:28 2022 +0100
> # Node ID 1087570ec093271d10de8e901122c99003a79b6d
> # Parent 60851da88db689f3bfaa54453977ec9803b00
# HG changeset patch
# User Liam Crilly
# Date 1659696328 -3600
# Fri Aug 05 11:45:28 2022 +0100
# Node ID 1087570ec093271d10de8e901122c99003a79b6d
# Parent 60851da88db689f3bfaa54453977ec9803b00509
Added search box to navigate directly to directive or variable docs.
This patch adds a search