diff options
| author | msiism <msi@malbolge.net> | 2018-12-15 02:26:55 +0100 |
|---|---|---|
| committer | msiism <msi@malbolge.net> | 2018-12-15 02:26:55 +0100 |
| commit | 4fbaaec8d67e5a4fb0ae47ec763ea6a1ae8d7f6d (patch) | |
| tree | 3f0fcb44a27dc556a6c499d878ac4744e92ea807 /src/devel/develbook.xml | |
| parent | 07e8f3eff2ff32457076ad3969f5b7c6852345c5 (diff) | |
| download | docs-4fbaaec8d67e5a4fb0ae47ec763ea6a1ae8d7f6d.tar.gz docs-4fbaaec8d67e5a4fb0ae47ec763ea6a1ae8d7f6d.tar.bz2 docs-4fbaaec8d67e5a4fb0ae47ec763ea6a1ae8d7f6d.tar.xz docs-4fbaaec8d67e5a4fb0ae47ec763ea6a1ae8d7f6d.zip | |
Fix capitalization of proper names for Bash and Zsh in Table 1.3
See https://www.gnu.org/software/bash/ and https://www.zsh.org/, respectively.
Diffstat (limited to 'src/devel/develbook.xml')
0 files changed, 0 insertions, 0 deletions