diff options
author | Joel Challis <git@zvecr.com> | 2020-03-16 14:27:19 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-16 14:27:19 +0000 |
commit | 19dbcf38149a2ba9a51935aae36c276a6dbd4b01 (patch) | |
tree | f3f37cc761bb02a1fdb06a21e403113d44f9bfad /users/kuchosauronad0 | |
parent | c89012566c9f542b1bff8f3ffd9dded5175cc41f (diff) |
Document 'make all:<name>' (#8439)
* Document 'make all:<name>'
* add cli docs
* Apply suggestions from code review
Co-Authored-By: skullydazed <skullydazed@users.noreply.github.com>
Co-authored-by: skullydazed <skullydazed@users.noreply.github.com>
Diffstat (limited to 'users/kuchosauronad0')
0 files changed, 0 insertions, 0 deletions