index/tools/precommit.sh

#!/usr/bin/env bash

pushd .
cd $(dirname "$0")

./update-headers
./update-version

popd
Added script for creating release tags. 2024-08-03 22:20:02 +00:00			`#!/usr/bin/env bash`
Imported into new repository. 2022-09-13 15:13:11 +02:00
			`pushd .`
			`cd $(dirname "$0")`

Removed precommit.bat and made scripts extensionless. 2024-08-03 22:10:04 +00:00			`./update-headers`
			`./update-version`
Imported into new repository. 2022-09-13 15:13:11 +02:00
			`popd`