diff options
author | Vito Caputo <vcaputo@pengaru.com> | 2023-08-12 18:07:35 -0700 |
---|---|---|
committer | Vito Caputo <vcaputo@pengaru.com> | 2023-08-12 18:15:04 -0700 |
commit | bc9b657747095dc84266578f457b821f669e15d8 (patch) | |
tree | d67e372929825c4e9cf6d62909215d4f95a48455 /m4 | |
parent | 3329e547a21dbacc757984e1ec266721f9c49e44 (diff) |
modules/checkers: minor cosmetic changes to fragmenter
Trivial changes to improve some naming / scoping, done while
investigating a bug.
Nothing functionally changed
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions