diff options
author | Bryan Lai <bryanlais@gmail.com> | 2024-01-07 21:27:30 +0800 |
---|---|---|
committer | Bryan Lai <bryanlais@gmail.com> | 2024-01-09 01:14:48 +0800 |
commit | 5f3aad00ffc0a769a1ccc5b3b521221aa5e5d809 (patch) | |
tree | e47a681cb282a936e1f378bcad8f1f728c5df2ad /doc | |
parent | df62c3c87f35cd50d6ee20ea92900bb03ad827c9 (diff) |
checkpointBuildTools: minor refactor
Add some minor improvements of the package, and use temp files for the source difference patch, such that it is more reliable. This follows from the suggestions of @infinisil. Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions