8000 Move tip to a tip directive · symfony/symfony-docs@7cd7ea8 · GitHub
[go: up one dir, main page]
Skip to content

Commit 7cd7ea8

Browse files
wouterjwouterj
committed
Move tip to a tip directive
1 parent c6ea57b commit 7cd7ea8

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

‎debug/debugging.rst

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -83,5 +83,7 @@ that can help you visualize and find the information.
8383
fallback translation for all known messages, if translations exist for
8484
the given locale.
8585

86-
When in doubt how to use a console command, open the help section by appending
87-
the ``--help`` option.
86+
.. tip::
87+
88+
When in doubt how to use a console command, open the help section by
89+
appending the ``--help`` option.

0 commit comments

Comments
 (0)
0