MarcoFalke fa33236e77 scripted-diff: Rename DOCKER_EXEC to CI_EXEC ...

-BEGIN VERIFY SCRIPT-
 sed -i "s/DOCKER_EXEC/CI_EXEC/g" $(git grep -l DOCKER_EXEC)
-END VERIFY SCRIPT-

2022-02-01 10:14:53 +01:00

5.7 KiB

Executable File

Raw Blame History

View Raw