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 /src/libs/puddle/Makefile.am | |
| 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 'src/libs/puddle/Makefile.am')
0 files changed, 0 insertions, 0 deletions