run afmt, re-run generators #829

Merged

meggert merged 1 commits from afmt-generators into main

2023-11-29 15:49:47 +01:00

Author	SHA1	Message	Date
Robin Mueller	89b6a2de2d	run afmt, re-run generators Some checks are pending EIVE/eive-obsw/pipeline/head Build queued... Details EIVE/eive-obsw/pipeline/pr-main This commit looks good Details	2023-11-29 15:15:29 +01:00