Merge pull request #211 from matthiaskrgr/filemodes
make tools/times-tags.sh and tools/times.sh executable (mode 755).
This commit is contained in:
commit
d618730c96
Loading…
Reference in New Issue
make tools/times-tags.sh and tools/times.sh executable (mode 755).