Fix minor typos #401

Merged
metaljerk merged 2 commits from typo-fix into master 2022-11-03 11:53:36 +00:00
metaljerk commented 2022-10-11 21:01:15 +00:00 (Migrated from github.com)
No description provided.
AnidlSupport commented 2022-11-03 11:52:23 +00:00 (Migrated from github.com)

LGTM.

In the future, make sure to never edit the DOCUMENTATION.md file from hand. We have a script that automates its creation.

LGTM. In the future, make sure to never edit the `DOCUMENTATION.md` file from hand. We have a script that automates its creation.
Sign in to join this conversation.
No description provided.