Baptiste Augrain 2874277aa4 fix: replace grep with ripgrep due to excruciating timing (#1170)

2022-08-05 13:09:02 +02:00

..

build.md

fix: replace grep with ripgrep due to excruciating timing (#1170)

2022-08-05 13:09:02 +02:00