diff options
author | Julien Lepiller <hub@lepiller.eu> | 2021-12-01 22:58:44 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-01 23:58:44 +0100 |
commit | da18f5c914035e317af402370d353537a7d1ed40 (patch) | |
tree | 8b46b2ab479ee02bc9d2b9b66a6eb8be2edb3f34 /bash.html.markdown | |
parent | 425fc9d48c7d6595d06bbc34f7b26d3cf963832a (diff) |
[texinfo/en] Fix syntax highlighting (#4281)
Remove syntax highlighting since it's not supported by pygments
Diffstat (limited to 'bash.html.markdown')
0 files changed, 0 insertions, 0 deletions