From 1425ff60f88cb67fb83afe8a88d0899568cd19a7 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 15 Apr 2024 04:29:59 +0000 Subject: [PATCH] deploy: 9e4982407624a981d979274fc701e3e0de7676a2 --- 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 a68a3815629..23c4cbd7dc3 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.
-