1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-08-16 20:53:50 -07:00
Files
ripgrep/.github/workflows
Andrew Gallant 392bb0944a core: polish the core of ripgrep
This I believe finishes are quest to do mechanical updates to ripgrep's
style, bringing it in line with my current practice (loosely speaking).
2023-10-09 20:29:52 -04:00
..
2023-10-09 20:29:52 -04:00
2023-07-09 10:14:03 -04:00