diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2023-09-27 00:54:57 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2023-09-27 00:54:57 +0300 |
| commit | d3a295872c49defb55fc8e4e43e55550991e0927 (patch) | |
| tree | b9dca15454f9027d5a9dad0d4443a20de04dbc5d /tools/video-util.sh | |
| parent | b7cbc2571c1870b4582ead45277d0aa7f961bec8 (diff) | |
| parent | bdbb296697f55f4c3a07af43c9aaf7a9ea86f3d0 (diff) | |
Merge branch 'master' of ch1p.io:homekit
Diffstat (limited to 'tools/video-util.sh')
| -rwxr-xr-x | tools/video-util.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/video-util.sh b/tools/video-util.sh index 0ee5560..6fe6109 100755 --- a/tools/video-util.sh +++ b/tools/video-util.sh @@ -5,7 +5,7 @@ set -e DIR="$( cd "$( dirname "$(realpath "${BASH_SOURCE[0]}")" )" &> /dev/null && pwd )" PROGNAME="$0" -. "$DIR/lib.bash" +. "$DIR/../include/bash/include.bash" input= output= |