add option to strip build regardless of optimization#3945

Merged

mitchellh merged 4 commits intoghostty-org:mainfrom Jan200101:PR/strip-option

Jan 2, 2025

+13-5

Commits on Dec 29, 2024

add option to strip build regardless of optimization
Jan200101
committed

Commits on Dec 30, 2024

give strip option a proper description
Jan200101
committed

Commits on Dec 31, 2024