]> git.ipfire.org Git - thirdparty/systemd.git/commit
projects / thirdparty / systemd.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d14829c) | patch
Rename scripts/coverity.sh to tools/coverity.sh
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 12 Mar 2018 14:39:21 +0000 (15:39 +0100)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 12 Mar 2018 14:39:21 +0000 (15:39 +0100)
commit748c59b110ee9065abce59eb22d2b23f1a4478ac
tree533c80171edd697dc1723833e63b2cf93f458db3tree | snapshot
parentd14829c8b7d9606adb7ce498728b11acc68406b1commit | diff
Rename scripts/coverity.sh to tools/coverity.sh

There are only two files in tools/, I don't think we need a separate
directory for them.
.travis.yml diff | blob | blame | history
tools/coverity.sh [moved from scripts/coverity.sh with 100% similarity] blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.