summaryrefslogtreecommitdiffstats
path: root/userContent/theme
diff options
context:
space:
mode:
authorPetter Reinholdtsen <pere@hungry.com>2012-12-05 19:58:18 +0100
committerHolger Levsen <holger@layer-acht.org>2012-12-07 08:17:00 +0100
commit38704c6597338c5536e0cc3a50139b806a32c1ed (patch)
tree2e69cd413866cc0485cfbcc99c9c5ab86fe2703a /userContent/theme
parentfe5a9f417f93a0709031eea6e5ea21228b191079 (diff)
downloadjenkins.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