Fork of micro-editor/micro

Merge pull request #3212 from dmaluka/help-misc-improvements

Misc documentation improvements


Author Dmytro Maluka Committer GitHub Date Commit Parent 2ab1b313
+3 -13
1 changed file
+3 -13
1 changed file