diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2024-02-17 03:08:25 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2024-02-17 03:08:25 +0300 |
| commit | 0ce2e41a2bad790c5232fafb4b6ed631ca8cd957 (patch) | |
| tree | fd401495b87cae8c95a4c4edf2c851c8177b6069 /tools/video-util.sh | |
| parent | e9fc2c1835f7ac8e072919df81a6661c6308dea9 (diff) | |
| parent | b7f1d55c9b4de4d21b11e5615a5dc8be0d4e883c (diff) | |
merge with master
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= |