Merge pull request #4634 from dustdfg/patch-1
commit7617dcc1f4fff41fd86faf01a41554038f84e366
authorWilliam Deegan <bill@baddogconsulting.com>
Sat, 16 Nov 2024 23:47:35 +0000 (16 15:47 -0800)
committerGitHub <noreply@github.com>
Sat, 16 Nov 2024 23:47:35 +0000 (16 15:47 -0800)
tree88c71d9a4b2cbf953d7fee3ed6c5927453980802
parent45a4d5748b540483919f6f9d4ec4cd828edc1117
parent4d3912f705828c03a45875681fe881a137cdc5a6
Merge pull request #4634 from dustdfg/patch-1

User Guide: Add mention of `no_progress` option when user passes -Q
doc/user/command-line.xml