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/kuchosauronad0.c | |
| 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/kuchosauronad0.c')
0 files changed, 0 insertions, 0 deletions