Skip to content
Snippets Groups Projects

MAINT: remove *.orig file after merge

Passed
Timm Fitschen created pipeline for commit b2658872
, finished
1 related merge request: !58 F filesystem
46 seconds, queued for 6 seconds