Skip to content

Commit a35e5a6

Browse files
Remove unused make3.sh CI script
1 parent c64de18 commit a35e5a6

1 file changed

Lines changed: 0 additions & 10 deletions

File tree

‎src/ci/docker/scripts/make3.sh‎

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

0 commit comments

Comments
 (0)