From 2b95387dec915d7649a9a7d14ab0e6f9390b4c7f Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 22 Mar 2024 17:50:38 +0000 Subject: [PATCH] deploy: 8674ec5df58eaf7e255f6731aef24d892f047b07 --- docs/configuring.html | 2 +- docs/configuring/index.html | 2 +- docs/docker.html | 2 +- docs/docker/index.html | 2 +- docs/faq.html | 2 +- docs/faq/index.html | 2 +- docs/installation.html | 2 +- docs/installation/index.html | 2 +- docs/interdex.html | 2 +- docs/interdex/index.html | 2 +- docs/passes.html | 2 +- docs/passes/index.html | 2 +- docs/proguard.html | 2 +- docs/proguard/index.html | 2 +- docs/synth.html | 2 +- docs/synth/index.html | 2 +- docs/usage.html | 2 +- docs/usage/index.html | 2 +- 18 files changed, 18 insertions(+), 18 deletions(-) diff --git a/docs/configuring.html b/docs/configuring.html index 9b8983d77b5..19167f581c1 100644 --- a/docs/configuring.html +++ b/docs/configuring.html @@ -152,7 +152,7 @@
redex-all
here, not the redex.py
wrapper!)
This emits a JSON document detailing parameters, their types, defaults and possibly documentation.
-