diff options
author | 2018-04-29 22:04:23 (GMT) | |
---|---|---|
committer | 2018-04-29 22:04:23 (GMT) | |
commit | 5c24106d3b6ddb5229874a74e3cfe0059fa8ce8d (patch) | |
tree | 6ae4685ef53ec2b10593fe19fc1397bc8619f311 /scripts/override | |
parent | 51f0e7c649a84c66ce0111703498dc4466e35562 (diff) | |
parent | 74979fb19b2c7220dab4196c0d34e0c29b341b09 (diff) |
Merge pull request #953 from stilor/docker-testing2
Docker configuration for Gentoo + a bunch of fixes
Diffstat (limited to 'scripts/override')
-rw-r--r-- | scripts/override/__default | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/override/__default b/scripts/override/__default deleted file mode 100644 index 977b1f5..0000000 --- a/scripts/override/__default +++ /dev/null @@ -1,3 +0,0 @@ -#!@CONFIG_SHELL@ - -exec @TOOL_PATH@ "$@" |