From 8d2f72ad3479a6a37afc46a291c172c6a6c3f439 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Wed, 12 Jun 2024 23:42:07 +0000 Subject: [PATCH] deploy: 6eac4b25aab671e58c7001c347f853964ea5e2f1 --- 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 d143a52f8d..d606fae340 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.
-