Skip to content

Commit 10d3886

Browse files
committed
Remove obsolete CI script.
This is no longer used since e4b886f.
1 parent dbadd12 commit 10d3886

File tree

1 file changed

+0
-44
lines changed

1 file changed

+0
-44
lines changed

.ci/use-config.sh

Lines changed: 0 additions & 44 deletions
This file was deleted.

0 commit comments

Comments
 (0)