diff options
author | 2020-04-21 00:30:06 -0700 | |
---|---|---|
committer | 2020-04-21 09:30:06 +0200 | |
commit | 121aa2fe370fa0df17f0f24827db4f0ff0409b78 (patch) | |
tree | 9a4c52bde272538da5be60260aee7a56073f7752 /docs/source/commandline/commandline-index.rst | |
parent | ab1780e8c0f5e515ddb91c566b7d594d152f5925 (diff) |
Fix smartquotes by disabling them: While smartquotes are somewhat configurable, it's better if we don't use them at all. Makes sure there are no hidden pit traps for the users. (#6576)
Diffstat (limited to 'docs/source/commandline/commandline-index.rst')
0 files changed, 0 insertions, 0 deletions