Merge branch 'master' into filtron

This commit is contained in:
Markus Heiser 2020-05-01 13:35:12 +00:00 committed by GitHub
commit f42bc330b8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,5 +1,7 @@
#!/bin/sh
export LANG=C
BASE_DIR="$(dirname -- "`readlink -f -- "$0"`")"
cd -- "$BASE_DIR"