Skip to content
Snippets Groups Projects

FIX: missing rename

Canceled
Henrik tom Wörden created pipeline for commit 27a88e15
, finished
1 related merge request: !16 MAINT: Rename caosdb -> linkahead
10 minutes 7 seconds, queued for 2 seconds