skiphead - preserve headers when grepping through program output

index : skiphead

preserve headers when grepping through program output

summary refs log tree commit diff

Branch	Commit message	Author	Age
main	Disable RTTI	Benjamin Barenblat	3 years

generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 10:22:27 +0000