Skip to content
GitLab

xdt-autogen.in: Replace `basename` with ${0##*/}

2 jobs for !73 with cleanup in 42 seconds (queued for 4 seconds)
latest merge request
9d2ddfb7
1 related merge request: !73 xdt-autogen.in: Replace `basename` with ${0##*/}