mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-08-04 18:18:17 +00:00
![]() This removes the old commented out URLs for the 2016 subtitles that don't work any more. I should probably upload the files to a more stable URL. This also switches to a 'https://' GitHub URL as I believe the 'git://' URLs are no longer supported. |
||
---|---|---|
.. | ||
runs | ||
benchsuite |