run afmt, re-run generators #829

Merged

meggert merged 1 commits from afmt-generators into main 2023-11-29 15:49:47 +01:00

Conversation 1 Commits 1 Files Changed 10 +10 -8

1 Commits

Author	SHA1	Message	Date
Robin Mueller	89b6a2de2d	run afmt, re-run generators	2023-11-29 15:15:29 +01:00