bjorn3 3fa4efffb0 Install ripgrep using the system package manager		2023-12-31 11:14:50 +00:00
..
actions/github-release	Recreate the release every time	2023-03-25 16:24:15 +00:00
workflows	Install ripgrep using the system package manager	2023-12-31 11:14:50 +00:00