various typo fixes and progress up to 8.8

This commit is contained in:
phanes
2023-02-26 15:36:36 -05:00
parent 7868997024
commit 05c65e8d1d
34 changed files with 1859 additions and 21 deletions

View File

@@ -7,3 +7,4 @@ echo
echo "Deleting ${dir_stage}"
rm -Rf ${dir_logs}
echo