mirror of
https://github.com/open-policy-agent/opa.git
synced 2026-08-24 17:25:16 -06:00
aa9f5d7e9a
We had changed the name of the docs section at some point and missed updating one spot for the mobile site. This corrects the issue. Fixes: #2074 Signed-off-by: Patrick East <east.patrick@gmail.com>