diff options
| author | Sagar Patel <sagarmp@cs.unc.edu> | 2022-11-01 00:09:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-01 00:09:00 -0400 |
| commit | c068cce107b94f23c5288521770b2c807729a052 (patch) | |
| tree | be863aa52cdf3527ee6a1d6203045279da8b15c6 /src | |
| parent | 0edba4cc1e8887478ec24a4f07b8849036b8d67f (diff) | |
docs: drop shell prompt character for consistency
In addition to consistency, the fancy "Copy to clipboard" button on the
website will copy the prompt character. Retaining the prompt character
would mean having to edit each command after pasting in the terminal.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions