1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-07-11 14:30:24 +02:00
Commit Graph

1 Commits

Author SHA1 Message Date
52ec68799c ci: make script names consistent 2020-03-15 21:06:45 -04:00