Skip to content
Snippets Groups Projects

Replace `$HOME` with a tilde in displayed filename

Passed
Gaël Bonithon created pipeline for commit d8845648
, finished
Related merge request !45 to merge replace-home-directory-with-a-tilde
merge request
2 jobs 1 minute 34 seconds, queued for 3 seconds