Skip to content

use abbreviations in spec files#152

Merged
fblanqui merged 3 commits intoDeducteam:mainfrom fblanqui:specDec 15, 2024

Commits