Info about manual tool #492

wants to merge 1 commit into


None yet

1 participant


Info about manual tool added to Instructor Notes. I think that tool could be useful for instructors, especially due to lack of man command in Git Bash used on Windows.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment