tree cbe02a41ba9cc73d767e70757f3bd9efcbca7525
parent 0e652737988e3c115e98e1552f6fada52bc2b9a2
author Delwin9999 <delwin+github@gmail.com> 1623105839 -0700
committer Copybara-Service <copybara-worker@google.com> 1623105913 -0700

Update user-manual.html

The double dash is in the wrong place in the example.

Closes #13532.

PiperOrigin-RevId: 378022925