delete `--prominent-compile-errors` from help

887abd0f33square committed on 3/18/2023, 6:13:52 PM· committed by Veikka Tuominenparentc31007b
2 files changedLine totals unavailable