diff options
author | Petter Reinholdtsen <pere@hungry.com> | 2012-12-05 19:58:18 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-12-07 08:17:00 +0100 |
commit | 38704c6597338c5536e0cc3a50139b806a32c1ed (patch) | |
tree | 2e69cd413866cc0485cfbcc99c9c5ab86fe2703a /userContent/theme | |
parent | fe5a9f417f93a0709031eea6e5ea21228b191079 (diff) | |
download | jenkins.debian.net-38704c6597338c5536e0cc3a50139b806a32c1ed.tar.xz |
Avoid some useless grep calls, and make kill command more robust.
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions