Skip to content

Conversation

@vszakats
Copy link
Member

@vszakats vszakats commented Jan 16, 2026


Potentially useful also for other git greps in past revisions.

@vszakats vszakats marked this pull request as draft January 16, 2026 22:37
@vszakats vszakats marked this pull request as ready for review January 16, 2026 22:38
@vszakats vszakats changed the title ifdef-over-time.pl: reduce query to a single git grep command ifdef-over-time.pl: reduce query to a single git grep command Jan 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant