Skip to content

Refactor query #397

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 13 commits into from
Closed

Refactor query #397

wants to merge 13 commits into from

Conversation

fstachura
Copy link
Collaborator

No description provided.

@fstachura
Copy link
Collaborator Author

@tleb This also contains the versions/stats utility for the lxr script you asked for. Let me know if you would like to have this single feature alone for now, or if you have any ideas what other information the tool could provide

@tleb tleb mentioned this pull request Mar 7, 2025
@tleb
Copy link
Member

tleb commented Mar 7, 2025

Merged as 64efb3d..6f03eee. Squashed the README commit into the commit "query: Move CLI to utils/query.py".

@tleb tleb closed this Mar 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants