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