Skip to content

Function renaming: Rename .size directives as well#128

Merged
mkannwischer merged 1 commit intomainfrom rename_sizeDec 18, 2024

Commits