diff options
| author | John Ankarström <john@ankarstrom.se> | 2021-01-28 21:33:30 +0000 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2021-01-28 21:33:30 +0000 |
| commit | 51b5b02f52cc6f314029f3f2fe97afdc26ba0f25 (patch) | |
| tree | 711d1efadeb78ad9b2d9f7b629350358838bc626 /patch/patch-update/readme | |
| parent | f3fd330cddade1c66d0f101d5cc6f657c4cd1bb6 (diff) | |
| download | plan9-51b5b02f52cc6f314029f3f2fe97afdc26ba0f25.tar.gz | |
Add various patches
Diffstat (limited to 'patch/patch-update/readme')
| -rw-r--r-- | patch/patch-update/readme | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/patch/patch-update/readme b/patch/patch-update/readme new file mode 100644 index 0000000..8681f72 --- /dev/null +++ b/patch/patch-update/readme @@ -0,0 +1,8 @@ +patch/update updates given file(s) in given patch + +I often make small changes, like fixing formatting, +to files in patches that I've already put in /n/sources/patch. + +If /n/sources/patch is accessible to the outside world, +then patch/update might not be a good idea, but I have +/n/sources/patch bound to a patch directory in $home. |