diff options
| author | Irene Knapp <ireneista@irenes.space> | 2025-10-19 05:35:09 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2025-10-19 05:35:09 -0700 |
| commit | 8c9157ba5a54f3ab08c2082864da9395f99dad94 (patch) | |
| tree | 74af78a584e438156e3d2e117d254006b6d0cf8d /.gitignore | |
| parent | 6b143324786cc25e00dc4cafcfe9ad9ef1ccae06 (diff) | |
rename a bunch of instructions
this is just cleanup. once they're all named in a uniform way, it will make sense to write higher-level wrappers around them... Force-Push: yes Change-Id: Id110111d7cd0bf936de8f101cf6886513e1cca84
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions