Skip to content
Snippets Groups Projects

Correct dependency on ripgrep

Merged Martin Rodriguez Reboredo requested to merge yakoyakoyokuyoku/arduino-ide:missing-dep into main

When I've sent !1 (merged) I've assumed wrongly that ripgrep was packaged as rg instead of ripgrep. This MR fixes that.

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading