/tools/ci/scripts/

• ../
• deheader.sh
• exit.sh
• init.sh