Kai Krakow b2870671bd formatcheck: Use a shorter timeout ...

If the internet connection is down, the default timeout of wget is
unreasonably long. If formatcheck is used as a pre-commit hook, this
blocks usage of git for a long time although we probably have
git-clang-format available.

Signed-off-by: Kai Krakow <kai@kaishome.de>

2018-10-09 00:49:58 +02:00

..

format-check.sh

formatcheck: Use a shorter timeout

2018-10-09 00:49:58 +02:00

git-archive-all.sh

scripts: Add management scripts to make release process easier

2018-04-10 13:23:38 +01:00

mkrelease.sh

Update to version 1.3-dev post-1.2 release

2018-07-21 09:48:40 +01:00