Skip to content

Shorten names of debug configs#166

Merged
mfussenegger merged 1 commit intomasterfrom
short-names
Nov 29, 2024
Merged

Shorten names of debug configs#166
mfussenegger merged 1 commit intomasterfrom
short-names

Commits

Commits on Nov 29, 2024