diff options
| author | Irene Knapp <ireneista@irenes.space> | 2026-09-20 21:41:07 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2026-09-20 21:41:07 -0700 |
| commit | f7a320e19422bef7021bf03b3362b6c6c05c548f (patch) | |
| tree | 3a8166da01eec126a59bc232edadd96fcfb67f8f /execution-support.e | |
| parent | 3275f7932b3f109d798b9303b1e3bfc052a48d4d (diff) | |
fresh line for alignment padding comments
this fixes the thing where, if alignment padding was zero-length, the comment could wind up on the same line as the preceding thingy, causing confusion Force-Push: yes Change-Id: Ie7490370bf66a2f9b82df584236320bd88338e39
Diffstat (limited to 'execution-support.e')
0 files changed, 0 insertions, 0 deletions