We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5414ec4 commit 80318ecCopy full SHA for 80318ec
source/settings/config-file.txt
@@ -127,9 +127,9 @@ Settings
127
option with the :guilabel:`Edit connection string` toggle.
128
129
* - proxy
130
- - Allows you to enforce or define a ``proxy`` to connect to your deployment
+ - Allows you to enforce or define a proxy to connect to your deployment
131
with. For more information on connecting to your deployment with a
132
- ``proxy``, see :ref:`ssh-connection`.
+ proxy, see :ref:`ssh-connection`.
133
134
You must pass either a URL or a ``DevtoolsProxyOptions`` object as JSON
135
for the ``proxy`` setting. A ``DevtoolsProxyOptions`` object takes the following
0 commit comments